/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 0011002001113312245321410504544344105525352430022415350012435424302121500540430235513x15100252145523311321413032504322342152445221021221004430221202515150200354525343105554332130151410140x10033115103014032031344245350210135052344341354455020541300134515330405011431032453430x13215042331244315424435101112130250451002202431052222530243502242222104122152140042231512422314320545x10334000124301323104434501321531552051045330515504213223320153212434503030532204340405x13354125333453010434545541211214403523113313141415534153055242430140512234312142211220020113421425251x10425324243323220145414325041434350230110523044121055054243352435443242344553401104103x11311453542020154051413142504201223541121411210414235421032240212213443212432544435030340414523035555x11251045420303003312014301100400300403000050354230101432554554511510104452033303020011x15124222211245043003204503153215515120500554411335024254344240201301442503214241335341301055255131014x11345003524404404555322020130545540155321540332035545355041531200213544545514110310011x12105222102334252023245131335045445324140454204213550115303412403230545252131122312012142112215123005x11500402054350423311055450115505522111512343413300254000532453153422534023522004411340x14310315321143013032123022002022020355402115321321110535133421505424025003245022112125532120342235024x12204423235045222323045005432052105244354505555400325303023543543110535005245335525355x12235345141251123132311553451511315352141310401410353411321355235210402111333025125332451401124552344x12310341515014553343252020152235015002410250342354333504014040351003021445103104215113x11234403532432251022132242105511442551132142305011114440304353533244234141415324430114024112250431355x13111520353353242200223150234523325415542041340454434451135035442342444534010252243003x11134521203115340131324025035044411245130314013032210402315005334321004241341121511022145434032212031x13151520300310450032522140510401402042533203451120010152114544343010404440333512012000x14345542212151152304155212135103251302321055401321535520021322311205313153441453425012424001123354234x13442132331232341455504542105101555335404344524055113050505152540450055214050401044201x10150042311004152021123123103354135403412453322254114032215423452405501431015542123202300532321334145x14524525304250222003425303253351335423243510145341505555545121405125404234513330151130x14210414112253151432453011343311424014233545004050051401242002154251251334432110323214322304215211041x15035323430303510502254233155425532222105503340501001201320514253343244512534051354353x14111222351210052310122122242223334254354532002223324522212055400411032350121324201545430522150041002x15344214242344235515340154054410432452314340232055204455232345553454005015014413320231x11111342133333405413455015350542421134215140314531531120321112114413121154243343145313250101014212054x15504555242530152345500032344322033051425024142042024053303121345005552550123055305203x12315551515444311133551114111444124420524220335514231255143323300210521320043223123121021211351053414x12.13155320340450051212034245342100535142200342535255014434454050141235422133111002001100x10410141510312334555013435254530020515152021220344001221201225442512432234052303141231133255412520015x10343542301341105040335154310031450205544531434432505310120535424431302304103015113300x15450234132242151322400412512214012222422053420352222501342022001540520312111015344245134421332405123x15040434022350303054342123510233223124055150335401502551351231054344013231034210004330x11525241243110200221122412134322150410342425503514355141413133113253044121121455454340103543335214533x13014011043554432423445342533424505501214403250110320534341405234145410223233424235240x15555303254140430305344452342123443122120422301245324140121141211453221024052413141504510202453541131x11100203033302544010151154554552341010324530500003040030040011034102133003030245401521x14101315525501031435331424123052441031020424434524205331144550050215155123513054023003405421122224215x11100130114155454453120021351405535455302330451235510455450310202235554044044253005431x15003215122112412102132211312525450323042143035110553124024540414235445405331315423202524332012225012x10431144002253204352243513542350004520033143432151112255055110545501133240534502040051x14205322430212355212112205423005204245051243315350111231235112045530202202002203212303103411235130134x15535255335425005350113453453203035230045555054534425012502345005403232225405323244022x14432554211041542335215203331112040125325531231143530141040131412535131151543551132313211521415435322x13115124013015441203001530404104053334532430520142005105322510202523433554105151430132x15531340522114204110344235141414324423353534030444111105032412311552441155012422312201522342353044321x13003422520104354442432445305311544344540431402455145233254320513220022423533530251113x11302122304345412201151211431424001234335005132040122303104130315421144405305204231310435113021254311x10002102153330444040103434454112510100211543023352402041040150412252300540130030251513x14324533211004242105243541443513135021132231200255351231045501232031523015312125514032511512122455434x11024401040504125500540452515050503115504254434045335551015012454055541432321332312443x15414331232350032023212455101341055042543245122304114522233542143045314533013213211202514001132400510x10311510333154324045215041215455555051435410153423245331533523035243002220524035254254x11401125124032234123230112344331521524512002421041500504005453324104241133431103542341513522114140124x13534531504352154423433524150231021001050433055012222355245513324522050153030343235305x12001400512250345451024231210532301140045502122254233222002354534524333222422212210132500121532221114x11320233144105105004543555432325544025502320434132542340144504510435155324432424124435x14502124101010523135413433424511213144112111230211351354130415124311242450535105543145043333312431111x13025035503210552555005431213033504202402414205241503302234432300055432510352425554055x14143501531121201213213223400231250120033233415521324155330224250244214441114111553311134445151555132x11772441315244113232441618244121024411092441415244182124417244121143374161115192759112227591123275972759102427594164450822350531535051323350561835052103505109350541535058213505735052113504443935044441350444434565192440244445112151330734453307345603073456821131521262112126721264171923616392013246177617112261711236171024617416617132461711061719266173156172114559112239181324422931542291323422961842292104229109422941542298214229742292112097209211209417444482212204131019616172133954161024416112217227172231517222114561112230741122307411233074730741024307441692061614213083093921309392530941271622413208202620823312082341445416236199216191924132261682312253924152844481122339610242021615717309444610244333110192532914567192424404451244045582440456651430912193405121939157109721074157618782171323621392332929242439456413213919310731013243103153102113101122310112331010243104163101124310417310132523322114147414110414315414211414132439168223503444735034449101739174440110413265941329744133285444261939221525392242304128112242314131445216232125433221254334212543364025315402513234025618402521040251094025415402582140257402521132868228221524822162343352114569192411231826513412951529530512988298951120812095126922693513484348551413641375140134014513429343051127412755190590651242224235139653966515395405112641265514148414951154315445119691970512659266051208920905121072108515435445189689751268126825154754851371372513963396451208720885130013002512712271351558559511693169451272927305118451846514332433351100610075119221923511058105951343234335140074008516396405117017151105010515111781179511191205119019151417441755168969051243924405130283029512312325146646751192719285113891390516876885124322433514104115186386451270027015138138251370371511921935112271228511356135751197619775136236351335336519319325112941295511272127351587588519239245139773978512035203651130413055165966051413241335131631751171017115129772978514221422251197719785120912092516066075160760851187318745130413042515065075141754176511895189651243824395110301031514224235120992100513253265113521353512031203251106810695124372438515135145124224351114115515985995134923493512015201651418241835110981099511905190651201820195118521853512355235651980981511741755140094010514494505185685751108410855187587651157315745110141015514124135164564651184418455119681969512749275051667668518578585111481149519469475134173418511325132651236623675139333934519839845194394451170417055113413551168216835171171251882883518908915195595651610611511265126651111511165112551256511848184951191019115126226351309310511181195113851386514149415051234823495114414551269026915113981399511145114651115711585113001301511370137151172173511801815142244225512051205251192619275160961051413341345149649751213214512026202751166216635197998051165716585123752376512109211051163016315126962697511244124551128912905167267351300730085113371338511411141251274827495140174018515545555115631564511932193351304530465197097151193019315123462347511037103851301530165115881589511841855130233024514196419751120012015163263351275127525116601661513024302551512513513462346351432433512358235951413841395110511052512952965134413442511226122751367368513203215117141715513363375154854951156515665126992700513043304451100110025113901391516686695139853986511237123851210821095119421943511275127651420421512671267251268526865182782851307308513960396151163616375142943051443944405192692751906907511234123551158515865139963997518848855115341535511570157151209720985126826951307330745123922393512440244151185018515122522651873874514134413551245246511057105851511512513409341051418341845126892690513483495156556651917918511125112651124312445117061707513939394051191192511839184051108210835162162251201202513984398551257258511616161751136413655121182119512417241851363364512995299651186318645127522753516486495119431944512707270851416641675168568651284285513291329251182183519489495199899951306730685113181319511091105120362037511870187151167416755127402741512065206651651652511591159251440441515705715119601961519539545119901991513004300551148149511250125151206120625121012102513333345111811182519429435111331134511537153851101510165155755851491492511928192951138013815134653466515505515113991400511681168221140514062128228321394839492140154016212202212118801881211377137821118611872140044005211035103621123212332112761277211283128421350135022161861921241324142120092010211368136921235023512119821983214167416821236923702112051206211643164421159815992116516621211321142129832984213979398021590591219199202110361037211421432130583059211691169221206720682112381239211367136821398039812127352736212043204421104010412131932021127912802116371638212732273321304630472118841885212093209421152415252127282729211016101721300930102111981199211649165021171117122142054206215695702123652366213453345421164616472120702071214209421021112611272145664567212006200721406407213972397321113114212372237321167168216356362139463947218988992112591260213953395421186118622119611962212666266721395039512118561857211999200021164216432139639721347034712168268321696697212011201221416941702197697721208620872112821283212112122116321633211114111521167216732112612721140314042127627721708709211667166821183184211217121821117011712186886921195819592169569621167916802120552056212100210121271272213020302121115116211994199521860861214394402113821383211169117021841842211214121521292293211065106621298029812152152221121512162163363421956957212752762129892990218538542162362421227228213412341321192019212119911992212030203121478479212379238021343934402120592060211245124621266426652141784179218448452116261627213893902114071408212912922146846921306430652116471648214534542165365421134013412129872988211303130421419341942162262321299129922191591621829830212852862125025121108710882113071308211830183121416141622120372038214724732116101611211343134421160516062130553056211650165121161716182142642721104710482159359421880881212732742116511652211691702149049121270271218518522188989021910911212812822120732074215235242126612662211155115621140114022110411042212081208221398239832190490521239924002139403941215455462139523953214441444221167616772191491521661662211627162821690691211062106321275027512141294130216886892139293930211331342144644721160916102113914021374375213489349021166916702111441145211603160421306130622152452521397039712139453946212050205121300301213423432190890921552553213954395521153154211587158821586587212978297921443444211555155621306530662141884189218999002151952021136213632139673968214181418221161416152116751676213973982114131414215075082139339421136913702144744821485486211386138721241124122113291330216376382130530621124712482186586621155156211415141621206620672146446521409410213921392221997998211175117621456445652117617721167716782123842385213459346021399940002110001001213994399521850851218868872127112712211032103321172117222121621721848849211578157921713714212592602112701271212372382115331534212394239521397839792157557621266926702170570621274275213410341121981982213475347621200320042140040121266326642111091110214215421621678679212665266621473474213069307021424425212522532147647721938939217097102120002001212974297521420042012113813921372373211668166921196197212972982198999021114111422130173018211100110121101210132110441045211230123121240224032125825921299329942124124221240424052123982399212602612156756821297929802124162417213499350021170117022126942695213482348321109010912114514621131513162111911192213971397221400240032113091310211645164621271727182138438521171217132126526621339340212390239121419741982119871988211955195621348834892112611262214170417121392393214794802148748821165616572119631964216316322170270321303430352120722073219029032119641965211664166521128712882116961697218398402115901591214024402521420642072126126221416441652110561057213959396021305130522134983499211004100521393139322130383039213454345521411412213975397621206220632126872688213425342621153215332153653721608609211918191921190919102139353936212352235321120412052120322033212082208321421742182124925021299300213949395021102410252116281629211892189321208420852152752821845846216276282110451046211229123021267826792119721973213833842113461347212720272121158015812145684569219309312124332434212709271021305230532124052406214584592189489521133813392115015121111311142115601561211561572115411542214212421321342834292116991700213044304521578579211491502140144015211128112921158315842192192221197519762118771878215225232193493521984985211201212116416521393039312112541255211320132121205620572123732374211378137921189718982118541855213493502166466521699700216246250077407720774139863987411529153041925926411947194841195219534157357441242724284170470541240924104142342441120912104113601361411319132041186187412701270241301930204134263427411013101441138413854116831684411888188941106410654118401841413032303341414141424116016141375376412872884123812382411387138841190419054124424541420342044129942995411575157641154915504127928041202020214115271528413443454116131614414304314112251226411860186141197119724134913492412414241541203204413913924165065141235623574144244341119011914110801081414884894140034004411935193641189618974134083409419729734134403441413457345841330331414084094159459541273427354123452346411411424112991300415745754122222341686687411934193541493494413583594144514452411171184113613741966967419289294164764841415341544134473448416636644140204021414453445441241924204112411242414443444441226227413012301341300630074130143015412063206441616617416496504111101111411461474141404141412713271441128129419139144136536641122812294137337441155415554110461047411542154341347934804120582059418218224139893990411829183041243124324110541055412758275941191719184134763477415055064110941095413603614110551056412072084149449541341934204139233924415765774113101311414674684123872388411089109041571572414744754119621963411184118541101810194116581659412368236941210321044141584159411471484127262727412673267441171717184165865941559560413474347541396439654134683469411611624166066141303530364123932394411811824115391540411673167441858859411869187041184318444115861587413343354120782079414384394149249341185318544110261027411887188841630631414634644145045141391539164141634164413493349441114211434112661267414614624130103011411101110241236423654140104011411648164941290291411931944116861687415685694124292430412715271641395839594111021103412389239041130813094132853286411393139441207720784119011902411328132941301630174116211622411953195441211021114127422743411951195241189818994129829941887888413976397741422642274111171118411335133641100510064119331934411163116441102710284187988041195619574130603061411595159641415741584134343435413083094152852941157915804126802681412360236141400840094198798841592593412718271941538539412292304195895941271027114160060141195719584130033004414168416941392539264134953496412716271741103310344156056141963964416386394112111212413453464116071608411195119641155915604118551856419459464137938041656657418328334110961097412727272841300530064118371838412736273741584585411556155741895896412064206541503504411363136441107510764117071708411207120841140014014113571358411865186641483484412662266341298629874120532054414194204113811382414554564113531354411979198041332333414054064142284229411151115241156415654120342035416766774110761077411008100941228229411192119341199719984134353436411371137241531532411296129741137413754130330441885886411568156941386387411088108941241824194111071108414344354112971298411705170641130213034111241125414139414041212021214111521153414185418641304230434111561157411700170141141914204123492350412420242141520521414162416341585586412532544148248341395139524141774178413373384165465541343634374110741075413961396241240024014121521641272273414159416041444944504126626741240824094122122241115011514127022703415015024110921093411135113641317318413243254111731174416796804126702671412376237741166116624121242125412045204641209820994116551656411596159711549550111530153111601602111864186511224225111574157511340341118818821110711072111631163211235236111948194911343834391118851886111907190811194519461141944195111331133211350435051130663067112725272611936937111199120011240324041123542355111395139611123124114145414611542543112378237911305030511121172118111093109411418419113023031141844185111944194511348134821142842911117711781119141915113461346211105310541123623711207120721119371938112068206911104810491145445511129312941156256311437438118698701116441645115255261192792811118711881167767811135413551167167211107210731123882389113663671134463447113998399911407408111639164011304730481139443945111697169811344934501141544155113416341711903904111416141711414341441116061607111073107411299629971116181619112743274411238223831141564157116256261118831884119619621132832911305430551134113412111949195011435436112383238411197198113953961146246311189418951113971398111216121711204120421195795811999100011707708112002011135235311115311541112801281115615621195996011186818691119741975112002200311211421151113141315113943951112981299111599160011615616114198419911929930112361236211235923601127552756111661671142134214111946194711477478117017021123223311110511061113721373118628631115581559113613621134063407114594601152652711347734781141341411157158111060106111185818591194794811967968111881891112711272114558455911240624071130593060111925192611412741281134713472111687168811341342111097109811414441451187087111421942201142184219113883891118821883112382391120220311691692111242124311157715781112061207111633163411351352113486348711137913801120462047116706711130263027111919192011339533961123632364111042104311101110121112561257112033203411298129821159559611415041511165565611117111721139263927119339341127222723112772781117317411169516961116411642112975297611110611071127462747114336433711116211631120402041113437343811345534561130113012112693269411456457112060206111840841113783791158058111206207111826182711187618771121212122113027302811152815291118411842112119212011831832113934393511154615471112911292114137413811422742281182382411413541361126912692111139114011413141321110701071119909911128028111591592111903190411187218731112861287111233123411950951111201120211201220131120442045112122131115891590116986991164264311131313141112712811694695112371237211208820891127572758111931193211134113421118621863114180418111142014211118891890114155415611611612115045051164064111153815391187687711417641771161361411130613071117031704115835841115361537111235123611155315541139039111154715481126602661111992199311112711281139423943113183191120272028117107111130623063111511521123772378112688268911193819391117117211234423451116231624111988198911342334241124122413113021302211268426851144474448111584158511399039911116151616111336133711152515261111651166111010101111162516261183083111952953113483348411270427051142224223111857185811835836111886188711234123421135735811195019511110951096111552155311134213431139813982111111111211940941119659661169369411171817191186186211189318941194194211452453111112111311111911201139283929114211421211113211331118811882112083208411400040011120162017114151415211132413251116001601119329331119161917113063306411200720081112412511286287116046051112481249111431441125525611985986111122112311350035011112913011909910111929193011417418114024031194995011399139921120132014112380238111469470119929931129629711116117111059106011243024311130493050111954195511393639371116781679112343234411343344112667266811359360111978197911977978115465471127332734113033303411619620111912191311306830691110631064113480348111113711381116191620113490349111105210531144544611421642171134153416111101111113611362111531153211162416251142084209111345134611209020911120052006112998299911168816891111961197114334341113321333111251125211486487111285128611344234431118471848112342351117131714112942951182682711100710081126682669114034041112361237112010201111273727381139273928112753275411900901111891189211113111321123852386117127131187187211207420751130573058119749751199199211134813491141524153111154115511270327041144454446116656661112021203113823831170370411416041611112681269114016401711219220113947394811123112321113921393111827182811193919401155155211137313741118311832114514521197397411119311941134853486118668671190190211212321241115921593111541551134053406114006400711204205114574581140214022111402140311283284111038103911456045611119701971112395239611210521061148048111706707112462471111581159111246124711355356111875187611119711981134213422113383391141541611126212631077507701238623870130133014011388138901160116020113751376012094209501274527460117717801534535011612161301131113120123702371019189190117201721014018401901163416350119920001297629770115661567011240124101191319140134634701243524360114091410014314320126982699011108110901420242030149749801127812790134443445011311320110091010015095100140124013012357235801419241930112881289013071307201272427250111601161015305310112181219012562570121421501185118520185986001209520960119951996013473347401112911300126822683013994000124724801274727480198898901843844014165416601239623970120292030018548550168468501716717018348350111791180011591600134333434012076207701348734880198698701419141920113961397012982298301345634570111801181013937393801301830190112771278012052205301964965012675267601240124020124232424013938393901202820290126762677011986198701196519660142014202011716171701419541960120692070013063070147547601139113920112031204013040304101164016410121162117012708270901189190011079108001235123520123532354012730273101212521260136937001168016810142542601248249016746750142234224013773780112521253011866186701582583012075207601657658016626630140194020012052060124282429011557155801680681011526152701837838011666166701391739180112631264015335340112671268011911191201208020810128828901271927200116351636011665166601133913400115761577011305130601299029910156656701341334140150250301132313240116816901201720180115671568012092209301499500013030303101537538011189119001133413350115215301329330011312131301132613270140224023011351360154054101242524260111741175011188118901307230730110491050013997399801269526960120852086011410141101555556011838183901396939700120482049011694169501350235030134633464011121130110391040014604610162062101427428011959196001391939200124024101380381011684168501883884011028102901236723680119211922016036040134723473015885890115821583014171417201243244016266270126792680011878187901401402016056060189289301852853013983398401824825011569157001116411650117151716019629630111671168012697269801349634970112121213012692700130253026011581158201114911500163463501847848018468470132732801275627570155655701300230030130563057012782790130363037011077107801154515460119851986015775780170070101111611170139839901162016210139923993012082090111431144011989199001345134520134303431013988398901199619970117091710018888890113331334018918920164664701140614070191191201171917200125125201715716012332340134273428014005400601402340240119151916011327132801553554016146150116891690013458345901849850011702170301996997012892900120082009013448344901106710680111041105014444450116316401157215730139873988012106210701396839690115711572012642650142144215011136113701212221230187287301135813590117817901117211730144144201346434650147047101272127220115815901111112011146114701394339440117517601106910700166967001168516860196896901897898011349135001267226730118461847011258125901579580013420342131100210033142204221311347134831108310843126726831666667311561156231129512963124212422313995399631643644311359136031136513663119419531121912203158158231154415453124362437312407240831349734983114121413313022302331394139423113161317314844853149549631204920503119241925315965973113301331311940194131187188311594159531186718683118591860313263273119811982314044053110661067311981993121821931867868316756763112391240312738273931254255311690169131263264311140114131141714183119001901311183118431187918803123422343311404140531274427453165265331535536312374237531233123323185585631822823319609613141474148316836843129993000315975983134734831321322312397239831200120023111471148311123112431135513563111301131312992299331448449311194119531341834193115501551314984993191291331187118723146546631954955313993399431111811193133133231129212933121122113314204420531368369311366136731937938311351135231419041913151051131118511863139323933311003100431198319843122322431183418353164164231267426753119061907311653165431127312743156456531125312543110861087311408140931102910303113011302311371383127062707315005013129329431107810793111031104313031303231346634673121721831104310443126772678311166116731396639673112212331922923311973197431134413453139563957315325333119801981312731273231166316643120042005314199420031877878311791803110911092313053305431836837312754275531971972311832183331364365314714723120572058313223233116021603313873883124102411311941194231234723483116711672311828182931414241433114141415312705270631103410353162963031128412853120192020311638163931298429853117081709316126133135635731242424253192492531121312143135435531155115523141304131312104210531944945313431343231113411353141894190315996003118518631201420153110991100313962396331489490311281128231342434253118991900311061106231268626873183883931121122311836183731563564311383138431125126311260126131602603311611161231353354311835183631210211318788793119361937312683268431189018913129852986311269127031385386313460346131160816093120542055311120112131307030713112571258311629163031349434953119981999311138113931121012113182882931140141314146414731697698311842184331341434153116591660311176117731397339743197597631204220433116981699311161116231969970312741274231241524163124262427313029303031401140123143344335311321333154454531714715313422342331893894313043053142304231311966196731864865311301313119671968319939943116041605316816823127232724319359363198298331211521163121112112312038203931397439753169269331154815493119081909311321132231418641873197897931203920403114181419313000300131183318343163663731115911603120792080311081108231417941803110311032312434243531236223633115971598312391239231303930403134453446313478347931273927403162862931350335043127142715311317131831951952314172417331350351316736743116541655319959963119841985314187418831303730383134503451319169173130130231187418753113761377311350135131230231311249125031315316314210421131508509314364373129972998311085108631541542311652165331190219033130483049313763773141641731421422318748753111681169311540154131199319943116921693311849185031395739583121022103313407340831195196318258263183383431153515363139553956313233243113941395312047204831417341743193994031101710183134523453311670167131300830093111821183318428433134693470314814823158959031102510263157257331400140023142074208311562156331209620973112901291316446453190790831346734683115931594312392403134433444311621633199499531422542263077ttt2ttt2 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])))