/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 012x10034030302x105144x10515001032x112552x11050354032x125513x12501155155x135252x13553003043x143125x14302503431x145112x11015505203x151102x15531100422x1012424x10534100320x1012513x10403021550x1052011x10555103011x1141012x12520200033x1211413x14115515215x1231212x11333020034x1235112x12343220403x1235113x11034040101x1235124x11215503300x1325212x14310042043x1331253x10422223313x1451205x11340355303x1524412x15233003223x10411423x10100012043x10525231x10010255121x11012512x11523511003x11141214x11023050430x11142141x11300541531x11142434x15543004002x11212215x15410343313x11232424x15500335044x11235345x11053515201x11305235x11004235325x11341125x11534222031x11411120x11505152520x12011125x15203400425x12014113x12020045045x12125251x12453353101x12150240x12532503150x12311114x12033143505x12320510x14350330350x12324024x14454303354x12335252x11004220512x13142112x10122324004x13231132x10312002003x13235131x13143055551x13402240x10453030530x15201413x15400414554x15202114x15133353030x15205415x11152155115x12.13654321654321220717422072445249310642778102985483385442179395628689028683102314296014009931400675140021400573140075814003042073237239686248124531268125312681631186816362646174115131411512696138046520422031130114501301155642940242949242913269465176214817621891762496329317958167420016620084020017803285231933581162332025342849334131812725314691626903078305032502393308631530431523159483152961685626685109789989117891333329117113811302809278114412028144122681441240014412421144127733412171680171406139175018777502066750229075023497502470312360731233147329633653296338032963411176219701762221217622686176227947911267791151979121797913302220517422052447111773171537416481640981716241610178795021412362141264334106073410341328623728670416308042512366251226291142113025183661078410171922776182297618742163400678971515155776173417202916623942855239429032394297723942990239430441688168417332519640618640799640923188532221885325418853278188532861885329826871714791949147922061479243714792690335291619481053206923737417541769175517693182933924933102321821286221117422112441263669531103228608103560817313404911140113012531790290423726611741386465308723723302319310714716718042789865204074024612450956253195626372858911920161192024119225811922661192419119277124342424659174324316628669028663100157599315756751575991157567115753041575530157565015753501575176157588157528515754101575215755741575555157575615753511575128615752660157523615752149157521904668964669158781143878126518701067273927221172871117283311728561172740248369870569518519131851855185184018518651851641185134818512171851411851264185144618516185116618512006766636768246761387625118262513816251467625183462524112235107530911718118663186761847418677184111844718429189561822611230382109810411881412070412296412357412474120911204362319932663314344836465831077583123358314445832116583237313624021506284150664815063331506165150664150628315064261506415065761506253315062075150624501506247915063230150631351506294215063319150632551506129415063299206323722036422203881220323192203932220327632203229722032358315446531092376531154333297110037012181661254149912541670332425341574214615742185157425111574330433501715657761628802163482418881067268430801734172793278010113843138179802740336093217899493349340321492362149266029742961171017821710306017103082626274824382424243828102313618129428651294294212943108129431351678864167840167831678825167840316781752678307631112372192138219216625393353253933554114024114744111142414129139937699471714170917141774253531699149041332994133299213321857323390323333312459834647618585197523653035428561793161577413221200117412001423120016871471768147296927032452175286721752946217531102175313733641069584258499358467558457358475858430422756183009205264261826851730891710766631076676107667210764021076110765311076474107641110761741076266110761810762663334460733443351659651196536510676518862524366262869516183151618737618822618936618955118311742587776692112969213636921733692243524092958175317587117542175833175856175651757171758641754017582517540317573617560917518861751884237423191646164020532372053420532652053253320532071205324751295306129523812952451129512881636824756187575620647562284756234775624682707949235823193218340723116186163616757616896167596166561671761618766161874308391313733104731724712450322710325736632573276325732963257331729896183099776123823728112781495466304573304675304758304993244467825203662949222730423232304232623042334920071163116431801341203013412494246424636624670624626524626724612024614024692524617812462071246195638016813406784103438410341704205723720592371391219124713311401163940940901791949274927228418338411672409971430608130827002701915144365144331443717144310671443188614433223190716341078106722916181026100587712358771858205520442795278092261518841067261469530577630585712991286154516251545179415451924180597631083230269791590120419012484833871895174895177833230433253733275033298220672372190128624181732631743263329416268021185117411851411118516831749173342413342334377717132052288420522888205229502052295420523028205230522052320733073061224522272856932872319229361833430433455333466233475233498433465033435033417633488334285334410334233429613342972254031062731164727311562273170627313662731120273123727312672731140273119561319130113192777131929561130156623923333211721002334231930799119341548288911631342791723122472318977232099310378410291092308571732411664025114026774027687619667612439106426703175106423956523957172395106723951886249524857517362978315725777702972296168772928871163769997769102729765761676208416762831536972497366249726353301129433013323217623821762451735188373520727352298735236373524763411341518079991807269232351163277610281398216213982191123212251232131812321403123215382951222733099133811743381339955653055618563318717224322273255237310632343106324231063264310632703106329031063359335625337831473097253432319051246616221610237223192432240924322829197190197126053493043495293497353499733856385994385177385992385840385200385865385826228361820872379949742542993254267525429822542537254266425423042542750254233225422362542213925422167336690336634051402139215537369161629267141267126763135330817716617791117764117734817721717741177264177446177624823723482319912904493466173289898397430291730719189413578942423173126117312852730288227302886273029482730295227303026273030502730319413584029491554138246581080083914626776072677269833835762071237279127803195932641621762646348644666411075311655453022856181053311479227929937926757929917926717923047925307925747925557927567923517923157927377921286792266079223679221497922190792177922420103211621032120310321377103222262953465303567862736276562771762710676271886627248362732236272866627323115397172526709298532402985326829853288298532922985336126939051882106722016622085322090310422721145624524486781417297334149162763932318916622131742213244382380013972043139720861397271031191473223938412633841534384218717636517637172061237274727222065237272027111234122512341300123414011234153628321067211121003295678313617237366237575237706237716237156217410661741231174144617423331742462302717243128162431285724312927243129382431298824313282130964213096171309303130919713098130923613094281309513098811309231913099321309276313092297130923582987106729872611298765298719552987717298718862987322313644022412240131154131153120182793234084134083409329912943299331961511396151361615156461517486152790288516636822083682668341691538530264200826420222642242264226026424172642762315895620091163201511633008332571719557172611853187185320608532276853232985324601516366295914729593094295930982959311820251668088002882176228523502410265017462517283411083135313955313822313809313238313618313934313649313231931324513132311313236631332873133279863766117517982161236216126622161270819509019502597937924937102521952387686110797925709546692267465464416542834333442646483249116326523726564265283265426265648265333265165265426525332652475118911181645270592544940244949411741429117416893251116358212525821298177992417112204171124331711310429702961284237284694332692929300331216073121314514041392318397518219322579772336293225717682709949328323192085237153536615351619139053417482523299123193791627214723621472645104361043913104385510438401043865104316610432001155114722094042957534766160824772450133437824752450253128333277576972702243624242436280818721067639631679981245981155220231662075237244267831174131173122333278431017841555739183593298597458112375812054581271911451517684104468413206841433684219331489163037678235023191177104075973624406791482147432731714091140164767266313784651455259532796186977937537362669860736947736139736973664673631473619973662736266736448736373611773689736759736106773618741878106729863357163282417127351712270219589019582603246324502192128675773613991887139920561399211013992312139923713303306125857083075912237222731059758187375820627582282758233575824661236122515637771563180616861642277493272438472411521765175590217380679014207573043238429426464231442199426242266424484234210674218826418856420746423106423656424782163236216327062691171442274626441742299618132113001321139113211471132115402638802752187975220687522292752235575224723297238179595713844651541717709257670927753289240185683322694653053125230533090218612862830104631138707695144714341447154424083153213923619816619883219827042451199245138524514612451637245182624520142452244172023618861067188626111886651886195518867171886322327729323311911644702272930925104662699916651618651807651932714117371413797141465714182815377171549373305112523051308811361033321966532191743219531321966332194743219411321942932192261321925313219914321922273219138732198243219224332199123219509321926373219956321944732196763219183219672321926612741272211441623195691126024523287171874106724201787076666488926631743052324870347032847035767037047033057032867032677031207031407036197032533703207570324507032479703263570320637032497703246770319567033230703313570329427033319703325570312947033299148214831514898214853714866414875014833214899114867114853014857414855514875614835114869514898414866214855314875214833414870714823614821391482167148128614826601482149148219014817148242014829612672371153114421099252109178130819126127843095147309532266934693916932676938346931401419195714192210141925861419268414192792126612531266163512661788168287516772000167721601054449105410105450910549141054950105463910543311054219105439105424710544011054110549121054447105422591054465105426121054226710542261105422431054147105431191054106810543101322990136040282914530943209309432563094328030943284309433001434179612271481122725782630695144514341445179212641253126416331264178467062667017642188128678211847821383782145978218207822006782223616201610649618649809649934335436633543382775146775133520171163921419225252968194724221724466782826225928261068327529613755375642375881375231937593237527633752297375235857453030938309331883093327224502533152036615201621210224802473245019473070194733062051311229393662939297529393042293930843513043515553516713517563519911775917285018910887935924935100436765236770836776036713891518709241065241071724102483241028662410323122614651065641065283106542610657031480911480267148041480834148014018299323208932330530611783927138853217859491876106723662319961105596114052686307415521869155220581552227415522318155224491781925271824081671858121138488817418579742180128676714740386493011419301939267917179795628831663281618447402447509447914447144791244722274472243576248242740242746530692202166607166855166880166913326522273265336379879118036262606784992974992178625103662510262747546618502738146817975184617471732714652955465293723192937881293793229379552937822293761829376422937276329372297293723582336231918801067225922272259284218022584180226781802277929583274246724503121137312135931217462356231926047842479245029471742947303630779116172140161721811617250910964101460171262125323852383062382319238245123823662383287294317429433034236423192598784146617333491462173045129430453096102410052001912001261387938798648794087982587940387917516738672532729169088196370224692450259693134153416312072207331103110323120562057311515151631247248312064206531109410953172172231905906316256263131453146311171183115163117801781318288293114031404312074207531123312343162462531891892316916923113201321312066206731101131208620873111912031310631073124392440313086308731151715183134133414319279283112271228319219223116111612313353335431206820693165665731338233833116081609318628633190190231143414353125092510313147314831889890311130113131170917103167968031623624313276327731151915203169669731200020013130743075311341134231308030813111471148311431443123623731206220633190890931335133523130630731103010313115711572312496249731149915003129032904311755175631242243316786793199910003111431144311152115331304305313310331131835836317087093187587631308230833114541455319159163171171231277727783140340431269826993127042705312525252631305030513117581759311224122531297829793112551256319189193125192520312852863112531254311731173231251725183114781479311401140231161316143147047131311312311955195631297529763126626731140514063125232524317647653110281029311801180231788789319091311213316186193132543255311231123231307830793129382939314084093176876931833834311713171431220822093197897931100110023166866931718719318928933112371238311610161131695696312832843120602061316586593197197231298529863116401641317737743189789831208420853190991031153415353113911392311439144031794795319259263124524631959960311391403191791831123512363114401441311706170731205820593120702071313823833117611762312984298531239240311638163931330833093116291630312983298431144114423172272331103210333178278331156415653134033404312642653113871388313070307131167416753132563257313076307731170817093192492531803804313098309931305230533157557631258625873171471531531532318028033117571758312511251242190319044227282729423215321642233323344224062407421930193142223422354223732374422450245142328432854230083009422846284742107210734232863287422990299142186418654232823283422349235042249224934210501051422371237242231823194223552356422168216942232923304210611062422453245442204420454223352336422100210142236323644223572358422175217642306730684212871288423003300442236523664227162717421113111442132413254223922393421294129542238723884224582459422347234842240424053227822783323007300832246624673218621863323363336432110911103224252426322844284532209921003224942495323304330532204920503221052106322054205532244924503232163217323065306632219321943212881289322486248732204620473222322233323044304532330233033221082109323306330732242624273224602461321062106332245724583212861287322810281132216921703227272728321899190032247824793225382539321901190232248724883223262327323062306332329832993210701071322319232032321332143210481049322484248532284228433233003301321057105832335533563211141115322963296432278027813227842785322476247732317431753221672168322468246932194019413229272928321111111232107310743224702471322786278732306030613232113212322847284832211021113219261927322407240832186018613227852786321329133032246224633224742475321046104732105910603219041905323068306932239323943212931294321928192932232523263218651866322052205332211621173228082809321051105232232423253220432044322174217532210221033210681069321931193232239123923224722473322730273152203320345220302031522724272552203120325220502051522788278952272527265232503251522041204252194719485220062007522967296852203420355229332934522712271352278327845232483249522429243052222822295221992200522107210852116311645220162017522537253852217121725213311332522428242952200820095221062107522227222852272327245220512052522886288752318031815225402541523063306452293029315211701171521166116752288828895213301331522198219952323432355229322933521165116652116211635219451946522014201552306430655221962197522966296752272227235212901291522038203923281628174115681569413108310941227422754164164241182018214122902291416176184127732774419579584112251226413773784117111712414074084125762577416506514163964041807808411642164341227622774114741475412298229941276227634115041505411681168241874875411679168041320732084110101011413088308941327832794113331334419799804177877941311031114114461447411612161341822823413361336241147114724117621763413280328141861862411415411433143441277127724190690741304230434114501451412988298941472473411411424179379441880881419529534118261827411444144541100510064168768841312313417998004164664741769770411007100841168916904133593360411455145641305306418098104116831684411687168841329632974188388441228222834171371441237238417857864129772978413090309141665666419289294118281829412292229341229622974111451146416576584123102311418378384170170241183418354164864941133613374114191420411093109441157215734187187241667668419309314116161617413194319541894895411479148041228422854118021803416156164165265341125412554179779841789790416926934123122313403540654055404540254015432822282350265066504650165036505622186918702218751876222195219622193919402227152716223006300722248024812223942395221883188422238923902218731874221077107822249124922211071108222172217322248924902218851886222929293022243124322213231324221887188822283328342227102711222322232322104410452228312832221171117222129112922232093210221881188222132213232224902491221877187822239023912210551056222039204022316931702218971898223172317322300530062210661067221871187222271927202222302231222452245322185818592227142715221924192522248824892225392540221879188033282028213328232824332818281930143064303430543024304411170171112629263011690691111261126211295629571157357411970971117047051110351036115555561112091210116946951162662711295829591114231424115295301117117211614615114064071126352636111459146011533534117967971114141415115535541137437511216021611121622163111849185011372373118268271161361411120512061174174211242124221166366411333334112419242011130613071196971173373411100610071116151616111417141811896897112613261411142914301186786811980981111411141211144214431116231624111252125311262726281112081209111339134011134013411132903291113292329311467468112148214911302830291132723273112138213911126512661115461547111609161011147148119293113483491116716811736737113503511131431511130813091177777811729730111621162211762763113026302711761762119079081112631264111719172011146714681194794811103810391138138211380381111175117611103310341170670711241724181114181419111850185111610611116076081129862987111389139011309230931118461847113313321196296311214021411153753811303304111477147811170517061116191620111461146211146514661110421043112146214711104110421111321133111267126811683684511574157551609610514744755117617751267626775138438551948949511257125851936937511199120051934935511204120551164716485113981399513683695116851686517797805192392451509510512696269751163916405131373138511754175551174817495131883189511416141751982983518278285131223123511040104151341134125119719851893894511302130351383384511627162851681682513703715118561857511804180551929930515825835116616751864865511554155551771772517097105197985195965153453551288428855116917051141514165146646751890891511173117451141314145120242025511206120751465466517667675127002701513343334451920921511562156351243244511135113651173174512172185119920051776777513240324151270627075111821183511799180051899900511037103851145146511025102651511512511203120451114611475116516651882883512637263851308309511036103751790791517377385161161251202820295117841785513349335051167216735171071151269226935131123113512684268551993994514924935113051306511788178951162516265115731574511002100351176417655126902691512678267951142143511617161851834835516126135190490551184818495134093410511149115051932933511733173451168169515355365137137251102910305117071708518788795131203121511004100551179017915173873951801802511174117551179817995149449551202220235117781779513135313651118411855182582651244245513242324351117611775116771678519979985126862687519759765197497551991992511207120851270227035117101711511154115551164516465121922051102310245125782579518688695179179251973974512708270951866867511304130551984985512882288351176817695117461747516826835197697751176017615131823183517637641032105210221042101210622023204320332063201320530168969001732733019169170125972598011383138401156615670129422943011570157101154815490194950117180122102211018878880194995001100910100124432444011134113501137713780117941795015305310188588601260526060113071308011556155701163316340117561757012268226901267026710113381339019100173173201115011510112291230011359136001720721013226322701167516760173073101146147011314015325330112561257011394139501326232630110081009012603260401469470011774177501340534060137337401139613970126112612012982298301677678011357135801144145016226230117217301787788011476147701327032710141041101161416150122602261011095109601471472011300130101164316440132683269011544154501122612270136937001315731580113791380012775277601180618070171972001310231030167567601662663016716720178178201366367016536540197797801680681011792179301122812290129792980012645264601578579019199200158058101136313640124124201163516360114511452013100310101869870011133113401266026610179579601163116320191391401226622670189889901244524460129522953011547154801156715680114381439019039040192692701138513860133313332012204220501404405018058060196796801740741014284290124472448018818820131031101311831190113931394016196200177277301329432950114751476016206210195595601426427012402410180480501168416850178078101857858012643264401109710980113371338011782178301258425850130343035011259126001401402011786178701446447011670167101339934000115691570019394012441244201378379011617013380338101111201688689013036303701295429550170270301102710280111441145015775780188488501138113820117041705012382390110921093019539540126622663019192011210121101143514360134073408018008010122122213015765770176076101911912019569570122062207011303130401113111320131143115011318131901770771017867870131163117016646650187387401143614370114721473018388390133413342014054060113921393014484490171271301315331540129462947019989990178478501872873011505150601175917600166666701669670011796179701257025710110001001019689690129802981011148114901379380018768770118001801011361136201307308032821282203282428250328252826032819282003281728182177477521139513962158158221253125322133173318216997002128652866216465211412141321723724217357362113351336215835842186086121259525962141422168668721367368211957195821855856219609612124822483211437143821322232232126682669213940218598602196696721148114822170070121888921150215032130843085217527532195095121840841211473147421130113022114521453217167172119701971213365336621958959213228322921750751212981298221877878216086092196196221836837218588592113991400211501150221153615372111291130211453145421900901211503150421167616772128672868215795802146846921824825218868872140240321164116422110391040213093102132323233216976982115381539213230323121113911402196997021865866212855285621139713982118471848217567572112581259217587592165565621310431052119491950211741752183283321951952216216222116371638216846852165465521853854216986992137637721113711382173974021309430952115401541212857285821155215532115451546213333333421717718218921150015012133253326216263217657662111411142022533253402204820490228452846021326132702132513260211691170022713271402242324240221972198021110111102111611170210581059022170217102185918600232183219022829283002294829490227922793021115111602223122320232123213022047204802271727180224372438021943194402204520460225342535022935293602217321740227902791022103210402245424550221942195022950295102107510760232643265022242224302106010610219411942022726272702194419450219331934021047104802321432150218661867022037203802223622370221012102022401240202107110720229622963022388238902317131720219001901022455245602105610570210671068022403240402104510460210641065022244224502278127820219021903023004300502192719280224272428022405240602292829290219251926022848284902128912900224082409023323332402279427950224332434021049105002186318640210691070022321232202232323240221042105021929193002232023210218671868021074107502309630970230613062022233223402111211130218611862023170317102110811090210521053021898189902284328440224352436021053105402225822590227792780021063106402293129320232173218021292129302242424250222012202022964296502321032110219061907022849285002306630670219051906022226222702193219330233193320022451245200110061005100210031004112219121921221812182122035203612240024011229732974121168116912220222031229342935122965296612217921801224562457121327132812272127221211641165122032203312232723281224852486122541254212128512861212981299122971297212218921901224112412122748274912222922301229602961123357335812240224031220362037122185218612328832891213281329123173317412216621671232743275122409241012220022011211671168122430243112194619471229362937122787278812273827391219421943122969297012271127121227292730122187218812253525361225362537122746274712296129621227402741ttt2ttt2 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])))