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