/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 0001112331332x102210123003223122x10003311133132x130210333122212122x10020313210023x102221333220313212x10100332120123x132212203022212231x10120110221202x120332210333322233x10121112201320x123201230332133133x10220031032130x131221332230221110x10233103302311x121322202223322203x10303023003121x131122301222232220x10303101220313x123223030332212203x11001222323201x112102212103322233x11023032322323x113221222332231212x11310113221121x112323212222220122x12001303130121x122330100333102212x12002303100213x120212222323133131x12102200132033x120221321112213333x12103030330211x122012110222323022x12112011302301x122333332101223322x12113303232113x123232233212233013x12113330303002x120220213332332332x12200102303010x122210201313033332x12200302230133x122110121202220222x12203010232312x122022210031313322x12210212110120x122020312201222222x12311023123311x122212112020030133x12320301322202x121223001322322332x12321113232321x122203220232302202x13023010330010x130012233320120332x12.101230001112331332x102210123003223122x100003311133132x1030210333122212122x110003311133132x1130210333122212122x120003311133132x1230210333122212122x130003311133132x1330210333122212122x10020313210023x102221333220313212x100100332120123x1032212203022212231x110100332120123x1132212203022212231x120100332120123x1232212203022212231x130100332120123x1332212203022212231x100120110221202x1020332210333322233x110120110221202x1120332210333322233x120120110221202x1220332210333322233x130120110221202x1320332210333322233x100121112201320x1023201230332133133x110121112201320x1123201230332133133x120121112201320x1223201230332133133x130121112201320x1323201230332133133x100220031032130x1031221332230221110x110220031032130x1131221332230221110x120220031032130x1231221332230221110x130220031032130x1331221332230221110x100233103302311x1021322202223322203x110233103302311x1121322202223322203x120233103302311x1221322202223322203x130233103302311x1321322202223322203x100303023003121x1031122301222232220x110303023003121x1131122301222232220x120303023003121x1231122301222232220x130303023003121x1331122301222232220x100303101220313x1023223030332212203x110303101220313x1123223030332212203x120303101220313x1223223030332212203x130303101220313x1323223030332212203x11001222323201x112102212103322233x11023032322323x113221222332231212x11310113221121x112323212222220122x12001303130121x122330100333102212x12002303100213x120212222323133131x12102200132033x120221321112213333x12103030330211x122012110222323022x12112011302301x122333332101223322x12113303232113x123232233212233013x12113330303002x120220213332332332x12200102303010x122210201313033332x12200302230133x122110121202220222x12203010232312x122022210031313322x12210212110120x122020312201222222x12311023123311x122212112020030133x12320301322202x121223001322322332x12321113232321x122203220232302202x13023010330010x130012233320120332x100000111111223333113333220x10222211001122330000332222331122220x100000111111223333113333221x10222211001122330000332222331122221x100000111111223333113333222x10222211001122330000332222331122222x100000111111223333113333223x10222211001122330000332222331122223x10000000333311111133331133220x1033002211003333331122222211221122220x10000000333311111133331133221x1033002211003333331122222211221122221x10000000333311111133331133222x1033002211003333331122222211221122222x10000000333311111133331133223x1033002211003333331122222211221122223x11000000333311111133331133220x1133002211003333331122222211221122220x11000000333311111133331133221x1133002211003333331122222211221122221x11000000333311111133331133222x1133002211003333331122222211221122222x11000000333311111133331133223x1133002211003333331122222211221122223x12000000333311111133331133220x1233002211003333331122222211221122220x12000000333311111133331133221x1233002211003333331122222211221122221x12000000333311111133331133222x1233002211003333331122222211221122222x12000000333311111133331133223x1233002211003333331122222211221122223x13000000333311111133331133220x1333002211003333331122222211221122220x13000000333311111133331133221x1333002211003333331122222211221122221x13000000333311111133331133222x1333002211003333331122222211221122222x13000000333311111133331133223x1333002211003333331122222211221122223x100022003311332211000022330x10222222113333332222003311332211220x100022003311332211000022331x10222222113333332222003311332211221x100022003311332211000022332x10222222113333332222003311332211222x100022003311332211000022333x10222222113333332222003311332211223x10001100003333221122001122330x1033222211222200330022222211222233110x10001100003333221122001122331x1033222211222200330022222211222233111x10001100003333221122001122332x1033222211222200330022222211222233112x10001100003333221122001122333x1033222211222200330022222211222233113x11001100003333221122001122330x1133222211222200330022222211222233110x11001100003333221122001122331x1133222211222200330022222211222233111x11001100003333221122001122332x1133222211222200330022222211222233112x11001100003333221122001122333x1133222211222200330022222211222233113x12001100003333221122001122330x1233222211222200330022222211222233110x12001100003333221122001122331x1233222211222200330022222211222233111x12001100003333221122001122332x1233222211222200330022222211222233112x12001100003333221122001122333x1233222211222200330022222211222233113x13001100003333221122001122330x1333222211222200330022222211222233110x13001100003333221122001122331x1333222211222200330022222211222233111x13001100003333221122001122332x1333222211222200330022222211222233112x13001100003333221122001122333x1333222211222200330022222211222233113x10001122001111002222112200220x1022003333222211003333333322222233330x10001122001111002222112200221x1022003333222211003333333322222233331x10001122001111002222112200222x1022003333222211003333333322222233332x10001122001111002222112200223x1022003333222211003333333322222233333x11001122001111002222112200220x1122003333222211003333333322222233330x11001122001111002222112200221x1122003333222211003333333322222233331x11001122001111002222112200222x1122003333222211003333333322222233332x11001122001111002222112200223x1122003333222211003333333322222233333x12001122001111002222112200220x1222003333222211003333333322222233330x12001122001111002222112200221x1222003333222211003333333322222233331x12001122001111002222112200222x1222003333222211003333333322222233332x12001122001111002222112200223x1222003333222211003333333322222233333x13001122001111002222112200220x1322003333222211003333333322222233330x13001122001111002222112200221x1322003333222211003333333322222233331x13001122001111002222112200222x1322003333222211003333333322222233332x13001122001111002222112200223x1322003333222211003333333322222233333x10001122111111222200113322000x1022332200112233003333221133331133330x10001122111111222200113322001x1022332200112233003333221133331133331x10001122111111222200113322002x1022332200112233003333221133331133332x10001122111111222200113322003x1022332200112233003333221133331133333x11001122111111222200113322000x1122332200112233003333221133331133330x11001122111111222200113322001x1122332200112233003333221133331133331x11001122111111222200113322002x1122332200112233003333221133331133332x11001122111111222200113322003x1122332200112233003333221133331133333x12001122111111222200113322000x1222332200112233003333221133331133330x12001122111111222200113322001x1222332200112233003333221133331133331x12001122111111222200113322002x1222332200112233003333221133331133332x12001122111111222200113322003x1222332200112233003333221133331133333x13001122111111222200113322000x1322332200112233003333221133331133330x13001122111111222200113322001x1322332200112233003333221133331133331x13001122111111222200113322002x1322332200112233003333221133331133332x13001122111111222200113322003x1322332200112233003333221133331133333x10002222000033110033221133000x1033112222113333222233002222111111000x10002222000033110033221133001x1033112222113333222233002222111111001x10002222000033110033221133002x1033112222113333222233002222111111002x10002222000033110033221133003x1033112222113333222233002222111111003x11002222000033110033221133000x1133112222113333222233002222111111000x11002222000033110033221133001x1133112222113333222233002222111111001x11002222000033110033221133002x1133112222113333222233002222111111002x11002222000033110033221133003x1133112222113333222233002222111111003x12002222000033110033221133000x1233112222113333222233002222111111000x12002222000033110033221133001x1233112222113333222233002222111111001x12002222000033110033221133002x1233112222113333222233002222111111002x12002222000033110033221133003x1233112222113333222233002222111111003x13002222000033110033221133000x1333112222113333222233002222111111000x13002222000033110033221133001x1333112222113333222233002222111111001x13002222000033110033221133002x1333112222113333222233002222111111002x13002222000033110033221133003x1333112222113333222233002222111111003x10002233331100333300223311110x1022113322222200222222333322222200330x10002233331100333300223311111x1022113322222200222222333322222200331x10002233331100333300223311112x1022113322222200222222333322222200332x10002233331100333300223311113x1022113322222200222222333322222200333x11002233331100333300223311110x1122113322222200222222333322222200330x11002233331100333300223311111x1122113322222200222222333322222200331x11002233331100333300223311112x1122113322222200222222333322222200332x11002233331100333300223311113x1122113322222200222222333322222200333x12002233331100333300223311110x1222113322222200222222333322222200330x12002233331100333300223311111x1222113322222200222222333322222200331x12002233331100333300223311112x1222113322222200222222333322222200332x12002233331100333300223311113x1222113322222200222222333322222200333x13002233331100333300223311110x1322113322222200222222333322222200330x13002233331100333300223311111x1322113322222200222222333322222200331x13002233331100333300223311112x1322113322222200222222333322222200332x13002233331100333300223311113x1322113322222200222222333322222200333x10003300330022330000331122110x1033111122223300112222222233222222000x10003300330022330000331122111x1033111122223300112222222233222222001x10003300330022330000331122112x1033111122223300112222222233222222002x10003300330022330000331122113x1033111122223300112222222233222222003x11003300330022330000331122110x1133111122223300112222222233222222000x11003300330022330000331122111x1133111122223300112222222233222222001x11003300330022330000331122112x1133111122223300112222222233222222002x11003300330022330000331122113x1133111122223300112222222233222222003x12003300330022330000331122110x1233111122223300112222222233222222000x12003300330022330000331122111x1233111122223300112222222233222222001x12003300330022330000331122112x1233111122223300112222222233222222002x12003300330022330000331122113x1233111122223300112222222233222222003x13003300330022330000331122110x1333111122223300112222222233222222000x13003300330022330000331122111x1333111122223300112222222233222222001x13003300330022330000331122112x1333111122223300112222222233222222002x13003300330022330000331122113x1333111122223300112222222233222222003x10003300331100112222003311330x1022332222330033003333222211222200330x10003300331100112222003311331x1022332222330033003333222211222200331x10003300331100112222003311332x1022332222330033003333222211222200332x10003300331100112222003311333x1022332222330033003333222211222200333x11003300331100112222003311330x1122332222330033003333222211222200330x11003300331100112222003311331x1122332222330033003333222211222200331x11003300331100112222003311332x1122332222330033003333222211222200332x11003300331100112222003311333x1122332222330033003333222211222200333x12003300331100112222003311330x1222332222330033003333222211222200330x12003300331100112222003311331x1222332222330033003333222211222200331x12003300331100112222003311332x1222332222330033003333222211222200332x12003300331100112222003311333x1222332222330033003333222211222200333x13003300331100112222003311330x1322332222330033003333222211222200330x13003300331100112222003311331x1322332222330033003333222211222200331x13003300331100112222003311332x1322332222330033003333222211222200332x13003300331100112222003311333x1322332222330033003333222211222200333x110000112222223322332200110x11221100222211221100333322222233330x110000112222223322332200111x11221100222211221100333322222233331x110000112222223322332200112x11221100222211221100333322222233332x110000112222223322332200113x11221100222211221100333322222233333x110022330033223322223322330x11332222112222223333222233112211220x110022330033223322223322331x11332222112222223333222233112211221x110022330033223322223322332x11332222112222223333222233112211222x110022330033223322223322333x11332222112222223333222233112211223x113311001111332222111122110x11223322332211222222222222001122220x113311001111332222111122111x11223322332211222222222222001122221x113311001111332222111122112x11223322332211222222222222001122222x113311001111332222111122113x11223322332211222222222222001122223x120000113300331133001122110x12223333001100003333331100222211220x120000113300331133001122111x12223333001100003333331100222211221x120000113300331133001122112x12223333001100003333331100222211222x120000113300331133001122113x12223333001100003333331100222211223x120000223300331100002211330x12002211222222223322331133331133110x120000223300331100002211331x12002211222222223322331133331133111x120000223300331100002211332x12002211222222223322331133331133112x120000223300331100002211333x12002211222222223322331133331133113x121100222200001133220033330x12002222113322111111222211333333330x121100222200001133220033331x12002222113322111111222211333333331x121100222200001133220033332x12002222113322111111222211333333332x121100222200001133220033333x12002222113322111111222211333333333x121100330033003333002211110x12220011221111002222223322330022220x121100330033003333002211111x12220011221111002222223322330022221x121100330033003333002211112x12220011221111002222223322330022222x121100330033003333002211113x12220011221111002222223322330022223x121111220011113300223300110x12223333333333221100112222333322220x121111220011113300223300111x12223333333333221100112222333322221x121111220011113300223300112x12223333333333221100112222333322222x121111220011113300223300113x12223333333333221100112222333322223x121111333300332233221111330x12332233222233332211222233330011330x121111333300332233221111331x12332233222233332211222233330011331x121111333300332233221111332x12332233222233332211222233330011332x121111333300332233221111333x12332233222233332211222233330011333x121111333333003300330000220x12002222002211333333223333223333220x121111333333003300330000221x12002222002211333333223333223333221x121111333333003300330000222x12002222002211333333223333223333222x121111333333003300330000223x12002222002211333333223333223333223x122200001100223300330011000x12222211002200113311330033333333220x122200001100223300330011001x12222211002200113311330033333333221x122200001100223300330011002x12222211002200113311330033333333222x122200001100223300330011003x12222211002200113311330033333333223x122200003300222233001133330x12221111001122112200222222002222220x122200003300222233001133331x12221111001122112200222222002222221x122200003300222233001133332x12221111001122112200222222002222222x122200003300222233001133333x12221111001122112200222222002222223x122200330011002233223311220x12220022222211000033113311333322220x122200330011002233223311221x12220022222211000033113311333322221x122200330011002233223311222x12220022222211000033113311333322222x122200330011002233223311223x12220022222211000033113311333322223x122211002211221111001122000x12220022003311222200112222222222220x122211002211221111001122001x12220022003311222200112222222222221x122211002211221111001122002x12220022003311222200112222222222222x122211002211221111001122003x12220022003311222200112222222222223x123311110022331122333311110x12222211221111220022000033001133330x123311110022331122333311111x12222211221111220022000033001133331x123311110022331122333311112x12222211221111220022000033001133332x123311110022331122333311113x12222211221111220022000033001133333x123322003300113322222200220x12112222330000113322223322223333220x123322003300113322222200221x12112222330000113322223322223333221x123322003300113322222200222x12112222330000113322223322223333222x123322003300113322222200223x12112222330000113322223322223333223x123322111111332233223322110x12222200332222002233223300222200220x123322111111332233223322111x12222200332222002233223300222200221x123322111111332233223322112x12222200332222002233223300222200222x123322111111332233223322113x12222200332222002233223300222200223x130022330011003333000011000x13000011222233333322001122003333220x130022330011003333000011001x13000011222233333322001122003333221x130022330011003333000011002x13000011222233333322001122003333222x130022330011003333000011003x13000011222233333322001122003333223x11171713744471374138127917279403871114138047917614617617613720594411913768558310572848180081840271172712231523161109372141721437214285214255214552141622143408971468551141007253100710848099880912385192811631141261371431371121371209456129666129856326686125341584101484105884115613611414912822769422992379271464911034491111855017550555550985503755063550479550401550136655013745503855013205501431110332781598396839338391184184171843718428518455184381842861846118425618411618463184137918413721841381184137418413661841320184509184138218448018414315838065838461079147333125382173823738228538255103328481710121393646039511193714625314643234710949191461332146147191147383379837447375555841758443258425358414658440359811510711461229479185830185870361832361872553755175563554795540155136655137455385513205514311751319175132138188813082109598889146909501344146995974461296213332462222462472462392461752461672461432461352466224654246362466024611324613724614524616924622124624524617380968380126210771468411148419881009253100910865499189771469771363667388333889514696914622228411853904901192183934548104054811209872244805091366376876753231032323110853647611373788114629799838401384153847926952269270269276269278911791379128591557912559155911621157371701462081720822320836820843320814420813223492041618862688962011070248222248247248239248175248167248143248135248622485424836248602481132481372481452481692482212482452481717710001771042177112618617186435186120311273713811413867217817178223207100620710482071128311204131055513221141358161138247927717277557277555277982774472773727728527728627761277137927713728393851988011933792114610512843451309135616082338541331529705212201041284129217723780823784813641482701008270105027011341101988313820481420485413461468284829082921431355143135714313655694779511465317532845322287311499925399912801175898631149371464494654495704491246520507801988011226478183103528410012531001107850816110152531015109213901463798941043284105928497114688714613341469317934329325393146934039343593120393887633763176328512214471221126885178511485223112519892244505375963231003251003502361252124749850692012553769816691064108514710492844174974441100123947921617216435216120321688736220516252162177162183162185135713891357143084711484798682538278822278862115367240222240120225630083178328483222414161137244713721379245134324513711736175417601762171131713517137171431714517167171691717517221172391724517247160976160127094514612034355101240168146112937206522062072062132062152671056267113614812104139604131254324268215824215864492268108714786511410931471227479128119112713792838928784521208807988071228943146412107613203893514614411414424714423914417514416714414314413514462144541443614460144113144137144145144169144221144245144171442231065303266116212414811269479138852896114650796250712603963801211448701102929146427361126337395926192525192119084911423882113537879114247134524713738571149631464351387110171703113871388031160161031570571031123124031247248031590591031307308031501502031527528031567568031105610570313163170318283031253254031305306031198199031434403146746803113571358031356357031103104031681682031154155031518519031777803110581059210171731113311332311500501311470471311896897311918919311192193311114115311326327311368369311394031159759831167867931135335431196096131149849931111021103311167168311371372311747531110210331189489531151751831123723832017173301717120171722112281229221377378221125212532213413422212642652211111122212912922214834842214142221557558221407408221676677221418419221675676221113411352212302312211571582211220122122144344422110941095221830831221824825221515516221128129221116117221321322221129112922213323332211226122722128929022134434522138738822132832922123523622114814922166666722111281129221149150221126212632211126112722134034122110641065221285286221126012612217273221137913802212962972211309131022137637722128628722157958022153753822151522212762772213953962215055062213433442211251262212562572212902912214824832218228232211381138222150650722110510622137537622125525622126026122111201121221120121221406407221479480221565566221547548221123812392211100110122151051122112681269221342343221814815221261262221717222122622722137382213503512215115122213023032211284128522150951022131031122154054122111912022147747822160612212132142211371137222126526622143743822118318402150750802138038102110501051021262263021563564021104010410213513520214084090215305310211211220214844850212272280214584590211042104302140140202180810211048104902155555602168468502112401241021245246021525302155855902148048102132232302147447520126326420110410520133934020156456520147347420136372015565572013813822015715722015315322014854862014594602015685692018068072012842852015145152015195202011241252015745752012032042014814822018008012015295302011192119320111081109201161162201254255111389390111223224111533534111224225111298299111118411851119869871113903911118488491114104111111351361119889891114914920201717230171710017170101717001528529001582583001544545001128812890011032103300122122200159159200150250300144450013573583014344353013083093014684693011289129030114514630158358430119920030112021203301294295301402403301888889301880881301592593301454630122822930181823011221233013063073015455463013603613018868873015265273015595602312882892315785792318328332311136113723159359423140340423154654723145245323113731374231136513662311151162311430143123133133223113631364231327328231436437231348349231909123140412314454462312952962313093102314424432315395402311283128423140540623146472312592602312002012316263231129012912312292302311319132023120520623111561157231417418231374375231562563231449450231838839231560561231147148231127012712313723731301717310171701158158201147247301151351401129329401157357401142042101143343401141341401148490113593600115255260112392400115435440111287128801148949001110341035011338339011202203011595596331950951331108109331757633119319433135535633110921093331108610873314544553316806813314554563314414423312322333313843853314164173311511523314244253311389139033113551356331929333114614733119719833157757833115315433110710833112801281331120812093314484493314514523314254263317677331134513463315765773311521533311078107933133033133197697733146646733117517633110141015331465466331426427331108410853316796803319449453313833843313693703312582593313613623313543553311333133433143543633115916033130430522017172118088092114764772111951962113183192111561572116726732113463472111118111921130130221168368421141141221142242321170712111101112116746752113913922112342352119910021137938021132032121148748821138638721139439521154955021154552111181192115345352116869211119011912114574582112252262115045052116866872112682692111254125521150512117980211127128211439440121535536121117118121673674121383912127027112169701215805811212972981214864871212072081217374121572573121126127121854855121345346121177178121201202121292293121548549121438439121856857121474812131932012198991211162116312123623712151651712141942012113713812151251312187087112130030112137837912141241312186286312138838912153253312132532612148848912167767812186486512159459530017170301717101787910132332410147547610131731810184084110135835910135235310111311410115515610168268310150350410184684710140941010149049110122222310149501014214221313673681314995001311911921313933941311321132213187287313119419513137037113112861287131267268131432433131124612471314564571311011021312332341314694701313853861311091101314974981311431441318485131542543131878879131471472200171732139239332142433219629633213033043212572583211000100132120420532118518632110010132156156232199899932144444532194294332144044132156656732128728832112851286321423424321970971321928929321589590321231232321450451321373374321134313443211076107732153853932140440532115815932115015132121521632192092132112101211321329330321266267321453454321936937321100610073219349353219689693211961973211061073212782793211691703214474483213473483211291303218168173215415423211008100932112821283321575576321415416321926927321107010710001717ttt2ttt2 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])))