/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 0001020212022x100101102100010110x10001121211000x110022221120200210x10101001002120x101020021000001000x10120201111002x100000202202220000x10121100221022x110021002000202222x10122002000202x121000211020102102x10201011012001x101100021110200201x11001022001200x100000101011010020x11011122221000x121001010221100222x11100100001112x111021002101002012x11120102120102x111210102111010202x11122112100102x100202000200200222x12000112102200x111020102211102200x12001122102222x110221012101002020x12002121101002x121111020101021002x12112202100010x111200200100200010x12121121001010x122111000010022010x12122021020210x110120020021021000x12201111010120x101101100220110100x12.10120001020212022x100101102100010110x100001121211000x1010022221120200210x110001121211000x1110022221120200210x120001121211000x1210022221120200210x10101001002120x101020021000001000x10120201111002x100000202202220000x100121100221022x1010021002000202222x110121100221022x1110021002000202222x120121100221022x1210021002000202222x100122002000202x1021000211020102102x110122002000202x1121000211020102102x120122002000202x1221000211020102102x10201011012001x101100021110200201x101001022001200x1000000101011010020x111001022001200x1100000101011010020x121001022001200x1200000101011010020x101011122221000x1021001010221100222x111011122221000x1121001010221100222x121011122221000x1221001010221100222x11100100001112x111021002101002012x11120102120102x111210102111010202x101122112100102x1000202000200200222x111122112100102x1100202000200200222x121122112100102x1200202000200200222x102000112102200x1011020102211102200x112000112102200x1111020102211102200x122000112102200x1211020102211102200x102001122102222x1010221012101002020x112001122102222x1110221012101002020x122001122102222x1210221012101002020x12002121101002x121111020101021002x102112202100010x1011200200100200010x112112202100010x1111200200100200010x122112202100010x1211200200100200010x12121121001010x122111000010022010x102122021020210x1010120020021021000x112122021020210x1110120020021021000x122122021020210x1210120020021021000x102201111010120x1001101100220110100x112201111010120x1101101100220110100x122201111010120x1201101100220110100x100000110022002211220022220x10001100111100221100000011001111000x100000110022002211220022221x10001100111100221100000011001111001x100000110022002211220022222x10001100111100221100000011001111002x10000000111122112211110000000x1011000022222222111122002200002211000x10000000111122112211110000001x1011000022222222111122002200002211001x10000000111122112211110000002x1011000022222222111122002200002211002x11000000111122112211110000000x1111000022222222111122002200002211000x11000000111122112211110000001x1111000022222222111122002200002211001x11000000111122112211110000002x1111000022222222111122002200002211002x12000000111122112211110000000x1211000022222222111122002200002211000x12000000111122112211110000001x1211000022222222111122002200002211001x12000000111122112211110000002x1211000022222222111122002200002211002x101100110000110000221122000x10110022000022110000000000110000000x101100110000110000221122001x10110022000022110000000000110000001x101100110000110000221122002x10110022000022110000000000110000002x101122002200111111110000220x10000000002200222200222222000000000x101122002200111111110000221x10000000002200222200222222000000001x101122002200111111110000222x10000000002200222200222222000000002x10001122111100002222110022220x1011000022110000220000002200222222220x10001122111100002222110022221x1011000022110000220000002200222222221x10001122111100002222110022222x1011000022110000220000002200222222222x11001122111100002222110022220x1111000022110000220000002200222222220x11001122111100002222110022221x1111000022110000220000002200222222221x11001122111100002222110022222x1111000022110000220000002200222222222x12001122111100002222110022220x1211000022110000220000002200222222220x12001122111100002222110022221x1211000022110000220000002200222222221x12001122111100002222110022222x1211000022110000220000002200222222222x10001122220000220000002200220x1022110000002211110022001100221100220x10001122220000220000002200221x1022110000002211110022001100221100221x10001122220000220000002200222x1022110000002211110022001100221100222x11001122220000220000002200220x1122110000002211110022001100221100220x11001122220000220000002200221x1122110000002211110022001100221100221x11001122220000220000002200222x1122110000002211110022001100221100222x12001122220000220000002200220x1222110000002211110022001100221100220x12001122220000220000002200221x1222110000002211110022001100221100221x12001122220000220000002200222x1222110000002211110022001100221100222x102200110011110011220000110x10111100000022111111002200002200110x102200110011110011220000111x10111100000022111111002200002200111x102200110011110011220000112x10111100000022111111002200002200112x10110000110022220000112200000x1000000000001100110011110011000022000x10110000110022220000112200001x1000000000001100110011110011000022001x10110000110022220000112200002x1000000000001100110011110011000022002x11110000110022220000112200000x1100000000001100110011110011000022000x11110000110022220000112200001x1100000000001100110011110011000022001x11110000110022220000112200002x1100000000001100110011110011000022002x12110000110022220000112200000x1200000000001100110011110011000022000x12110000110022220000112200001x1200000000001100110011110011000022001x12110000110022220000112200002x1200000000001100110011110011000022002x10110011111122222222110000000x1022110000110011002222111100002222220x10110011111122222222110000001x1022110000110011002222111100002222221x10110011111122222222110000002x1022110000110011002222111100002222222x11110011111122222222110000000x1122110000110011002222111100002222220x11110011111122222222110000001x1122110000110011002222111100002222221x11110011111122222222110000002x1122110000110011002222111100002222222x12110011111122222222110000000x1222110000110011002222111100002222220x12110011111122222222110000001x1222110000110011002222111100002222221x12110011111122222222110000002x1222110000110011002222111100002222222x111100001100000000111111220x11110022110000221100110000220011220x111100001100000000111111221x11110022110000221100110000220011221x111100001100000000111111222x11110022110000221100110000220011222x111122001100221122001100220x11112211001100221111110011002200220x111122001100221122001100221x11112211001100221111110011002200221x111122001100221122001100222x11112211001100221111110011002200222x10111122221111221100001100220x1000002200220000002200002200002222220x10111122221111221100001100221x1000002200220000002200002200002222221x10111122221111221100001100222x1000002200220000002200002200002222222x11111122221111221100001100220x1100002200220000002200002200002222220x11111122221111221100001100221x1100002200220000002200002200002222221x11111122221111221100001100222x1100002200220000002200002200002222222x12111122221111221100001100220x1200002200220000002200002200002222220x12111122221111221100001100221x1200002200220000002200002200002222221x12111122221111221100001100222x1200002200220000002200002200002222222x10220000001111221100222200000x1011110022001100222211111100222200000x10220000001111221100222200001x1011110022001100222211111100222200001x10220000001111221100222200002x1011110022001100222211111100222200002x11220000001111221100222200000x1111110022001100222211111100222200000x11220000001111221100222200001x1111110022001100222211111100222200001x11220000001111221100222200002x1111110022001100222211111100222200002x12220000001111221100222200000x1211110022001100222211111100222200000x12220000001111221100222200001x1211110022001100222211111100222200001x12220000001111221100222200002x1211110022001100222211111100222200002x10220000111122221100222222220x1011002222110011221100110000220022000x10220000111122221100222222221x1011002222110011221100110000220022001x10220000111122221100222222222x1011002222110011221100110000220022002x11220000111122221100222222220x1111002222110011221100110000220022000x11220000111122221100222222221x1111002222110011221100110000220022001x11220000111122221100222222222x1111002222110011221100110000220022002x12220000111122221100222222220x1211002222110011221100110000220022000x12220000111122221100222222221x1211002222110011221100110000220022001x12220000111122221100222222222x1211002222110011221100110000220022002x120000221122111100110000220x12111111110022001100110022110000220x120000221122111100110000221x12111111110022001100110022110000221x120000221122111100110000222x12111111110022001100110022110000222x10221111222200221100000011000x1011112200002200001100002200000011000x10221111222200221100000011001x1011112200002200001100002200000011001x10221111222200221100000011002x1011112200002200001100002200000011002x11221111222200221100000011000x1111112200002200001100002200000011000x11221111222200221100000011001x1111112200002200001100002200000011001x11221111222200221100000011002x1111112200002200001100002200000011002x12221111222200221100000011000x1211112200002200001100002200000011000x12221111222200221100000011001x1211112200002200001100002200000011001x12221111222200221100000011002x1211112200002200001100002200000011002x121122111122110000110011000x12221111110000000011000022220011000x121122111122110000110011001x12221111110000000011000022220011001x121122111122110000110011002x12221111110000000011000022220011002x10221122220022110022002211000x1011001122000022000022110022110000000x10221122220022110022002211001x1011001122000022000022110022110000001x10221122220022110022002211002x1011001122000022000022110022110000002x11221122220022110022002211000x1111001122000022000022110022110000000x11221122220022110022002211001x1111001122000022000022110022110000001x11221122220022110022002211002x1111001122000022000022110022110000002x12221122220022110022002211000x1211001122000022000022110022110000000x12221122220022110022002211001x1211001122000022000022110022110000001x12221122220022110022002211002x1211001122000022000022110022110000002x10222200111111110011001122000x1000111100111100002222001111001100000x10222200111111110011001122001x1000111100111100002222001111001100001x10222200111111110011001122002x1000111100111100002222001111001100002x11222200111111110011001122000x1100111100111100002222001111001100000x11222200111111110011001122001x1100111100111100002222001111001100001x11222200111111110011001122002x1100111100111100002222001111001100002x12222200111111110011001122000x1200111100111100002222001111001100000x12222200111111110011001122001x1200111100111100002222001111001100001x12222200111111110011001122002x1200111100111100002222001111001100002x1110107849111982911981270223266120653119712903145231571015740615728215785157328157172157481573311152111194613015545710593151010291109891155745103245410454221454139454119454120454115011061189672358737411563371521089986998972214102141882143210722910721165100732010291047105310117101321013810170101871019311665574212071261559797611991292743116374312156402964010639610713831020107312274711103326185119512808411074724565111075119697119110811911101191118276964116045466418668296681065133118115813811725561023361019661010610283610140610118610101610331610111061011084911123123011811181181202219551181079118911041185777410031963821087382120110333011021181011367111411812261181074291074116764645411948120029120012743411853419665155915156091190291190126212761308110499110954592875923159210592171592407698122698958107629107611711126118112411810711221275639275731456645456100269211994719694795617596897325213066710825311101181275551238118115912111068553155313273118831321164551132118116245246971034122310771237107829107811731019451009363711071406719971100718671282718571328711727148715471197711417117471337135715771332713766901231299551651016523316519616523616517316514016511816513316556645109510811195977118111211866711258952338951968952368951938951708951328955389529895478951178951388951878951089517389514089511889511088951110106655969239570552226891011331015610137510111185245049651181228118490301972961979741391181130118747406747307471937471707471327475374729747477471177471387471877471074728274785449601283118127813066091034120811810645511942911941268116112091070558699123211879107923379196792837914079118792367917379119791397928479101793317910137910279524791110791108791150100531951212292081093851115121211818670117055127729127713001214118141251141313894103617310089494227711163911111075123511931284103212251531038153109910995274111275430103730308973086911092118455110538669386107912051276129311852250049830127929127912981309118230101411685567112953114910361231106053937140979290265762659702321531291118118140118233101810931150118117455122211818817110353025210574542145453959223110811810151386666910591199971172122411837315588732788717188719388717088713288753887298874788711788713888718788710887558873151640651630516995161051610051686516282516851094118497113111245112213112215852828540685195858685108584853085330851007710778777317717177407771947723451411615141203121611874688674689410131407361006102140629518412025569101869108510805310851197934111912361181204531825693084301952161021613321656216375216111895711913071181122118461046854617246235464846408463614632846313462514614146544688463346958461224669846364453471119629119612601100118231111310901184830198936112811824510734711171116118120312781644971017451541016154108168106768110121545549230108711931429261421004131671058621281118744115974412054891121127155670296701069112011895311877573542210422194422234128511812101183283611016109193554935197935141935193935170935132935539352993547935117935138935187935109351744311571269559611186691151194171115211870767078929978163101633271631711635516331108853126355975254151962155489109611810395515616215616411891282108653196101296311851311695131213420443071077011101010110113273280114243011407408011100410050112312320118788011103210330111711720114914920111073107401122923001111991200011970971011489490011323301123924001131831901136636701193493501123423501146046101129229301133433501147480111034103501144450119669670112542550113853860116676680114174180114104110113203210112022030112062070112612620113043050115155160111451460112042050113435011458459011707101130030101173573601119920012010102201010210101021113013121173273321163642111059106021174574621122522621126326421111211122211112511262119609612119394211122512262112582592114644652111117111821192892921114214321137737821137437521112271228211315316211111311142112452462117879211383921118018121111231124211155156211241242211609610211508509211111511162112882892115005012111119112021174074121113213321130630721112231224211302303211129212932111501512115556001111112001183184001313314001991000013637001455456001119711980011241250012372380011521530016456460013683690018889001127612770018586001379380001502503001471472001293000120720800126826900135360012722730013323330019596001848500111931194001414415001102010210017437440011251260011189119000138238300111591160001369370001328329001222223001919200193193200115315400111611162001462463001243244001639640001575800151351400119719800193093100110911000136736800110181019001119511960011821830011016101700132933000112781279001742743001364365001335336001461462001271272001128129001909100129829900168690019589590011071107200133833900117417500145460018990001110111111409410111324325111325326111185186111224225111286287111416417111178179111767711192792811128728811137137211118718811141942011162631113723731114142111739740111257258111256257111933934111149150111926927111591592111313211145745811117918011150750811120120220010101011771781014214221011298129910124024110113001301101744745101376377101170171101459460101373810110671068101365366101255256101370371101948949101303110169701011841851012232241011441451014564571012852861018687101198199101126012611017347351012382391013334101117111721011262126310192931011201120210124424510131932010111671168101103810391012302311011063106410141841910126026110110691070101514515101213214101253254101323324101305306101100610071017387391011065106610112701271101129130101141142101731732101932933101521522101569570101314315101404110133333410112681269101406407101154155101299300101301302101434410111651166101127412751019749751012912921017747751012032041011481491011169117010120520610196896910149950010131731810141541610111631164101463464101117311741014084091012002011012282291012622631001010201101410152011085108620138338420150550620133033120112071208201128412852011203120420113081309201275276201108110822012732742014114122011211121220158592012352362011461472011101110220126927020112212320111071108201108910902011109111020126626720111571158201453454201100101201100210032019549552013213222011095109620112051206201215216201282283201109110922015235242011087108820173673720112801281201972973201107108201339340201689690201969720111031104201251252201111111122011306130720112151216201172173201121312142012962972019369372016061201129012912011041052019469472015035042011099110020138038120110931094201195196201107910802011751762011209121020111051106201293294201952953201126127201336337201115511562013613622011282128320112211222201117118020101022166672211008100922110110222112012122116416522196496522113813922197697722112351236221118119221113111322213073082211229123022110121013221978979221112911302216916922211237123822111271128221511512221956957221114911502216465221289290221283284221509510221119120221412413221115111522219629632211051062213623632216566221123112322212262272218948952215105112211021030213373380212972980215657021236237021276277021741742021176177021737738021697698021596002124224302110610702114014102166967002132232302141341402119619702137537602112712802115615702128428502194950211081090213313320212522530211036103702114314402126726802197980212212220215125130216768021147148021746747021121122021504505021103104021929930021123124021394002136336402129429502115115202153540211077107802137837902146546602127427502138138202118118202150150202149749802131631702117317402122722802110751076021270271021259260021290291021733734000101001010101212642651213403411211621631216162121193194121384385121886887121105710581215065071213033041212332341101010ttt2ttt2 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])))