/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 0000011200313x123311231211221023x10003122323101x132130131121333313x10030112101333x113310211223212113x10032132232000x112132322331002133x10301313221220x123303331320221312x10322003231121x120331203121211031x10333012311003x102201212131303303x11013111132032x133313301012121103x11032330012101x121111322213313221x11100023012013x112221332112102023x11121022030000x122133312010231103x11323112012310x113220233012122131x12033322320033x133220112112122133x12120210110120x100113311003333332x12231322022220x121301322100211300x12303021203201x121330221320222121x12310100110121x113133332213121103x12331223022001x123122113133330300x12331223231101x122102111221133213x13030232333121x121213213212131331x13030233232221x122213332112111131x13031320012100x131303322112221102x13123113113011x133213123332112101x13221020333321x133323113321212131x13230113000021x133211232120313221x13232323032011x122112133200000133x13313123202200x121213022022113333x13321312003233x132132213331021333x12.1012300000011200313x1023311231211221023x110000011200313x1123311231211221023x120000011200313x1223311231211221023x130000011200313x1323311231211221023x100003122323101x1032130131121333313x110003122323101x1132130131121333313x120003122323101x1232130131121333313x130003122323101x1332130131121333313x100030112101333x1013310211223212113x110030112101333x1113310211223212113x120030112101333x1213310211223212113x130030112101333x1313310211223212113x100032132232000x1012132322331002133x110032132232000x1112132322331002133x120032132232000x1212132322331002133x130032132232000x1312132322331002133x100301313221220x1023303331320221312x110301313221220x1123303331320221312x120301313221220x1223303331320221312x130301313221220x1323303331320221312x100322003231121x1020331203121211031x110322003231121x1120331203121211031x120322003231121x1220331203121211031x130322003231121x1320331203121211031x10333012311003x102201212131303303x101013111132032x1033313301012121103x111013111132032x1133313301012121103x121013111132032x1233313301012121103x131013111132032x1333313301012121103x101032330012101x1021111322213313221x111032330012101x1121111322213313221x121032330012101x1221111322213313221x131032330012101x1321111322213313221x11100023012013x112221332112102023x101121022030000x1022133312010231103x111121022030000x1122133312010231103x121121022030000x1222133312010231103x131121022030000x1322133312010231103x11323112012310x113220233012122131x102033322320033x1033220112112122133x112033322320033x1133220112112122133x122033322320033x1233220112112122133x132033322320033x1333220112112122133x102120210110120x1000113311003333332x112120210110120x1100113311003333332x122120210110120x1200113311003333332x132120210110120x1300113311003333332x12231322022220x121301322100211300x12303021203201x121330221320222121x102310100110121x1013133332213121103x112310100110121x1113133332213121103x122310100110121x1213133332213121103x132310100110121x1313133332213121103x12331223022001x123122113133330300x12331223231101x122102111221133213x103030232333121x1021213213212131331x113030232333121x1121213213212131331x123030232333121x1221213213212131331x133030232333121x1321213213212131331x103030233232221x1022213332112111131x113030233232221x1122213332112111131x123030233232221x1222213332112111131x133030233232221x1322213332112111131x13031320012100x131303322112221102x13123113113011x133213123332112101x13221020333321x133323113321212131x13230113000021x133211232120313221x103232323032011x1022112133200000133x113232323032011x1122112133200000133x123232323032011x1222112133200000133x133232323032011x1322112133200000133x103313123202200x1021213022022113333x113313123202200x1121213022022113333x123313123202200x1221213022022113333x133313123202200x1321213022022113333x13321312003233x132132213331021333x10000000000011112200003311330x1022333311112233112211112222110022330x10000000000011112200003311331x1022333311112233112211112222110022331x10000000000011112200003311332x1022333311112233112211112222110022332x10000000000011112200003311333x1022333311112233112211112222110022333x11000000000011112200003311330x1122333311112233112211112222110022330x11000000000011112200003311331x1122333311112233112211112222110022331x11000000000011112200003311332x1122333311112233112211112222110022332x11000000000011112200003311333x1122333311112233112211112222110022333x12000000000011112200003311330x1222333311112233112211112222110022330x12000000000011112200003311331x1222333311112233112211112222110022331x12000000000011112200003311332x1222333311112233112211112222110022332x12000000000011112200003311333x1222333311112233112211112222110022333x13000000000011112200003311330x1322333311112233112211112222110022330x13000000000011112200003311331x1322333311112233112211112222110022331x13000000000011112200003311332x1322333311112233112211112222110022332x13000000000011112200003311333x1322333311112233112211112222110022333x10000000331122223322331100110x1033221133001133111122113333333311330x10000000331122223322331100111x1033221133001133111122113333333311331x10000000331122223322331100112x1033221133001133111122113333333311332x10000000331122223322331100113x1033221133001133111122113333333311333x11000000331122223322331100110x1133221133001133111122113333333311330x11000000331122223322331100111x1133221133001133111122113333333311331x11000000331122223322331100112x1133221133001133111122113333333311332x11000000331122223322331100113x1133221133001133111122113333333311333x12000000331122223322331100110x1233221133001133111122113333333311330x12000000331122223322331100111x1233221133001133111122113333333311331x12000000331122223322331100112x1233221133001133111122113333333311332x12000000331122223322331100113x1233221133001133111122113333333311333x13000000331122223322331100110x1333221133001133111122113333333311330x13000000331122223322331100111x1333221133001133111122113333333311331x13000000331122223322331100112x1333221133001133111122113333333311332x13000000331122223322331100113x1333221133001133111122113333333311333x10000033001111221100113333330x1011333311002211112222332211221111330x10000033001111221100113333331x1011333311002211112222332211221111331x10000033001111221100113333332x1011333311002211112222332211221111332x10000033001111221100113333333x1011333311002211112222332211221111333x11000033001111221100113333330x1111333311002211112222332211221111330x11000033001111221100113333331x1111333311002211112222332211221111331x11000033001111221100113333332x1111333311002211112222332211221111332x11000033001111221100113333333x1111333311002211112222332211221111333x12000033001111221100113333330x1211333311002211112222332211221111330x12000033001111221100113333331x1211333311002211112222332211221111331x12000033001111221100113333332x1211333311002211112222332211221111332x12000033001111221100113333333x1211333311002211112222332211221111333x13000033001111221100113333330x1311333311002211112222332211221111330x13000033001111221100113333331x1311333311002211112222332211221111331x13000033001111221100113333332x1311333311002211112222332211221111332x13000033001111221100113333333x1311333311002211112222332211221111333x10000033221133222233220000000x1011221133223322223333110000221133330x10000033221133222233220000001x1011221133223322223333110000221133331x10000033221133222233220000002x1011221133223322223333110000221133332x10000033221133222233220000003x1011221133223322223333110000221133333x11000033221133222233220000000x1111221133223322223333110000221133330x11000033221133222233220000001x1111221133223322223333110000221133331x11000033221133222233220000002x1111221133223322223333110000221133332x11000033221133222233220000003x1111221133223322223333110000221133333x12000033221133222233220000000x1211221133223322223333110000221133330x12000033221133222233220000001x1211221133223322223333110000221133331x12000033221133222233220000002x1211221133223322223333110000221133332x12000033221133222233220000003x1211221133223322223333110000221133333x13000033221133222233220000000x1311221133223322223333110000221133330x13000033221133222233220000001x1311221133223322223333110000221133331x13000033221133222233220000002x1311221133223322223333110000221133332x13000033221133222233220000003x1311221133223322223333110000221133333x10003300113311332222112222000x1022333300333333113322002222113311220x10003300113311332222112222001x1022333300333333113322002222113311221x10003300113311332222112222002x1022333300333333113322002222113311222x10003300113311332222112222003x1022333300333333113322002222113311223x11003300113311332222112222000x1122333300333333113322002222113311220x11003300113311332222112222001x1122333300333333113322002222113311221x11003300113311332222112222002x1122333300333333113322002222113311222x11003300113311332222112222003x1122333300333333113322002222113311223x12003300113311332222112222000x1222333300333333113322002222113311220x12003300113311332222112222001x1222333300333333113322002222113311221x12003300113311332222112222002x1222333300333333113322002222113311222x12003300113311332222112222003x1222333300333333113322002222113311223x13003300113311332222112222000x1322333300333333113322002222113311220x13003300113311332222112222001x1322333300333333113322002222113311221x13003300113311332222112222002x1322333300333333113322002222113311222x13003300113311332222112222003x1322333300333333113322002222113311223x10003322220000332233111122110x1022003333112200331122112211110033110x10003322220000332233111122111x1022003333112200331122112211110033111x10003322220000332233111122112x1022003333112200331122112211110033112x10003322220000332233111122113x1022003333112200331122112211110033113x11003322220000332233111122110x1122003333112200331122112211110033110x11003322220000332233111122111x1122003333112200331122112211110033111x11003322220000332233111122112x1122003333112200331122112211110033112x11003322220000332233111122113x1122003333112200331122112211110033113x12003322220000332233111122110x1222003333112200331122112211110033110x12003322220000332233111122111x1222003333112200331122112211110033111x12003322220000332233111122112x1222003333112200331122112211110033112x12003322220000332233111122113x1222003333112200331122112211110033113x13003322220000332233111122110x1322003333112200331122112211110033110x13003322220000332233111122111x1322003333112200331122112211110033111x13003322220000332233111122112x1322003333112200331122112211110033112x13003322220000332233111122113x1322003333112200331122112211110033113x103333330011223311110000330x10222200112211221133113300333300330x103333330011223311110000331x10222200112211221133113300333300331x103333330011223311110000332x10222200112211221133113300333300332x103333330011223311110000333x10222200112211221133113300333300333x10110011331111111133220033220x1033333311333300110011221122111100330x10110011331111111133220033221x1033333311333300110011221122111100331x10110011331111111133220033222x1033333311333300110011221122111100332x10110011331111111133220033223x1033333311333300110011221122111100333x11110011331111111133220033220x1133333311333300110011221122111100330x11110011331111111133220033221x1133333311333300110011221122111100331x11110011331111111133220033222x1133333311333300110011221122111100332x11110011331111111133220033223x1133333311333300110011221122111100333x12110011331111111133220033220x1233333311333300110011221122111100330x12110011331111111133220033221x1233333311333300110011221122111100331x12110011331111111133220033222x1233333311333300110011221122111100332x12110011331111111133220033223x1233333311333300110011221122111100333x13110011331111111133220033220x1333333311333300110011221122111100330x13110011331111111133220033221x1333333311333300110011221122111100331x13110011331111111133220033222x1333333311333300110011221122111100332x13110011331111111133220033223x1333333311333300110011221122111100333x10110033223333000011221100110x1022111111113322222211333311332222110x10110033223333000011221100111x1022111111113322222211333311332222111x10110033223333000011221100112x1022111111113322222211333311332222112x10110033223333000011221100113x1022111111113322222211333311332222113x11110033223333000011221100110x1122111111113322222211333311332222110x11110033223333000011221100111x1122111111113322222211333311332222111x11110033223333000011221100112x1122111111113322222211333311332222112x11110033223333000011221100113x1122111111113322222211333311332222113x12110033223333000011221100110x1222111111113322222211333311332222110x12110033223333000011221100111x1222111111113322222211333311332222111x12110033223333000011221100112x1222111111113322222211333311332222112x12110033223333000011221100113x1222111111113322222211333311332222113x13110033223333000011221100110x1322111111113322222211333311332222110x13110033223333000011221100111x1322111111113322222211333311332222111x13110033223333000011221100112x1322111111113322222211333311332222112x13110033223333000011221100113x1322111111113322222211333311332222113x111100000022330011220011330x11222222113333221111221100220022330x111100000022330011220011331x11222222113333221111221100220022331x111100000022330011220011332x11222222113333221111221100220022332x111100000022330011220011333x11222222113333221111221100220022333x10111122110022220033000000000x1022221133333311220011002233111100330x10111122110022220033000000001x1022221133333311220011002233111100331x10111122110022220033000000002x1022221133333311220011002233111100332x10111122110022220033000000003x1022221133333311220011002233111100333x11111122110022220033000000000x1122221133333311220011002233111100330x11111122110022220033000000001x1122221133333311220011002233111100331x11111122110022220033000000002x1122221133333311220011002233111100332x11111122110022220033000000003x1122221133333311220011002233111100333x12111122110022220033000000000x1222221133333311220011002233111100330x12111122110022220033000000001x1222221133333311220011002233111100331x12111122110022220033000000002x1222221133333311220011002233111100332x12111122110022220033000000003x1222221133333311220011002233111100333x13111122110022220033000000000x1322221133333311220011002233111100330x13111122110022220033000000001x1322221133333311220011002233111100331x13111122110022220033000000002x1322221133333311220011002233111100332x13111122110022220033000000003x1322221133333311220011002233111100333x113322331111220011223311000x11332222002233330011221122221133110x113322331111220011223311001x11332222002233330011221122221133111x113322331111220011223311002x11332222002233330011221122221133112x113322331111220011223311003x11332222002233330011221122221133113x10220033333322223322000033330x1033332222001111221111221122221133330x10220033333322223322000033331x1033332222001111221111221122221133331x10220033333322223322000033332x1033332222001111221111221122221133332x10220033333322223322000033333x1033332222001111221111221122221133333x11220033333322223322000033330x1133332222001111221111221122221133330x11220033333322223322000033331x1133332222001111221111221122221133331x11220033333322223322000033332x1133332222001111221111221122221133332x11220033333322223322000033333x1133332222001111221111221122221133333x12220033333322223322000033330x1233332222001111221111221122221133330x12220033333322223322000033331x1233332222001111221111221122221133331x12220033333322223322000033332x1233332222001111221111221122221133332x12220033333322223322000033333x1233332222001111221111221122221133333x13220033333322223322000033330x1333332222001111221111221122221133330x13220033333322223322000033331x1333332222001111221111221122221133331x13220033333322223322000033332x1333332222001111221111221122221133332x13220033333322223322000033333x1333332222001111221111221122221133333x10221122002211001111001122000x1000001111333311110000333333333333220x10221122002211001111001122001x1000001111333311110000333333333333221x10221122002211001111001122002x1000001111333311110000333333333333222x10221122002211001111001122003x1000001111333311110000333333333333223x11221122002211001111001122000x1100001111333311110000333333333333220x11221122002211001111001122001x1100001111333311110000333333333333221x11221122002211001111001122002x1100001111333311110000333333333333222x11221122002211001111001122003x1100001111333311110000333333333333223x12221122002211001111001122000x1200001111333311110000333333333333220x12221122002211001111001122001x1200001111333311110000333333333333221x12221122002211001111001122002x1200001111333311110000333333333333222x12221122002211001111001122003x1200001111333311110000333333333333223x13221122002211001111001122000x1300001111333311110000333333333333220x13221122002211001111001122001x1300001111333311110000333333333333221x13221122002211001111001122002x1300001111333311110000333333333333222x13221122002211001111001122003x1300001111333311110000333333333333223x122233113322220022222222000x12113300113322221100002211113300000x122233113322220022222222001x12113300113322221100002211113300001x122233113322220022222222002x12113300113322221100002211113300002x122233113322220022222222003x12113300113322221100002211113300003x123300330022112200332200110x12113333002222113322002222221122110x123300330022112200332200111x12113333002222113322002222221122111x123300330022112200332200112x12113333002222113322002222221122112x123300330022112200332200113x12113333002222113322002222221122113x10223311001100001111001122110x1011331133333333222211331122111100330x10223311001100001111001122111x1011331133333333222211331122111100331x10223311001100001111001122112x1011331133333333222211331122111100332x10223311001100001111001122113x1011331133333333222211331122111100333x11223311001100001111001122110x1111331133333333222211331122111100330x11223311001100001111001122111x1111331133333333222211331122111100331x11223311001100001111001122112x1111331133333333222211331122111100332x11223311001100001111001122113x1111331133333333222211331122111100333x12223311001100001111001122110x1211331133333333222211331122111100330x12223311001100001111001122111x1211331133333333222211331122111100331x12223311001100001111001122112x1211331133333333222211331122111100332x12223311001100001111001122113x1211331133333333222211331122111100333x13223311001100001111001122110x1311331133333333222211331122111100330x13223311001100001111001122111x1311331133333333222211331122111100331x13223311001100001111001122112x1311331133333333222211331122111100332x13223311001100001111001122113x1311331133333333222211331122111100333x123333112222330022220000110x12331122221111331133333333003300000x123333112222330022220000111x12331122221111331133333333003300001x123333112222330022220000112x12331122221111331133333333003300002x123333112222330022220000113x12331122221111331133333333003300003x123333112222332233111100110x12221100221111112222111133332211330x123333112222332233111100111x12221100221111112222111133332211331x123333112222332233111100112x12221100221111112222111133332211332x123333112222332233111100113x12221100221111112222111133332211333x10330033002233223333331122110x1022112211332211332211221133113333110x10330033002233223333331122111x1022112211332211332211221133113333111x10330033002233223333331122112x1022112211332211332211221133113333112x10330033002233223333331122113x1022112211332211332211221133113333113x11330033002233223333331122110x1122112211332211332211221133113333110x11330033002233223333331122111x1122112211332211332211221133113333111x11330033002233223333331122112x1122112211332211332211221133113333112x11330033002233223333331122113x1122112211332211332211221133113333113x12330033002233223333331122110x1222112211332211332211221133113333110x12330033002233223333331122111x1222112211332211332211221133113333111x12330033002233223333331122112x1222112211332211332211221133113333112x12330033002233223333331122113x1222112211332211332211221133113333113x13330033002233223333331122110x1322112211332211332211221133113333110x13330033002233223333331122111x1322112211332211332211221133113333111x13330033002233223333331122112x1322112211332211332211221133113333112x13330033002233223333331122113x1322112211332211332211221133113333113x10330033002233332233222222110x1022222211333333221111221111111133110x10330033002233332233222222111x1022222211333333221111221111111133111x10330033002233332233222222112x1022222211333333221111221111111133112x10330033002233332233222222113x1022222211333333221111221111111133113x11330033002233332233222222110x1122222211333333221111221111111133110x11330033002233332233222222111x1122222211333333221111221111111133111x11330033002233332233222222112x1122222211333333221111221111111133112x11330033002233332233222222113x1122222211333333221111221111111133113x12330033002233332233222222110x1222222211333333221111221111111133110x12330033002233332233222222111x1222222211333333221111221111111133111x12330033002233332233222222112x1222222211333333221111221111111133112x12330033002233332233222222113x1222222211333333221111221111111133113x13330033002233332233222222110x1322222211333333221111221111111133110x13330033002233332233222222111x1322222211333333221111221111111133111x13330033002233332233222222112x1322222211333333221111221111111133112x13330033002233332233222222113x1322222211333333221111221111111133113x130033113322000011221100000x13113300333322221111222222111100220x130033113322000011221100001x13113300333322221111222222111100221x130033113322000011221100002x13113300333322221111222222111100222x130033113322000011221100003x13113300333322221111222222111100223x131122331111331111330011110x13332211331122333333221111221100110x131122331111331111330011111x13332211331122333333221111221100111x131122331111331111330011112x13332211331122333333221111221100112x131122331111331111330011113x13332211331122333333221111221100113x132222110022003333333322110x13333322331111333322112211221133110x132222110022003333333322111x13333322331111333322112211221133111x132222110022003333333322112x13333322331111333322112211221133112x132222110022003333333322113x13333322331111333322112211221133113x132233001111330000000022110x13332211112233221122003311332222110x132233001111330000000022111x13332211112233221122003311332222111x132233001111330000000022112x13332211112233221122003311332222112x132233001111330000000022113x13332211112233221122003311332222113x10332233223322330033220011110x1022221111221133332200000000001133330x10332233223322330033220011111x1022221111221133332200000000001133331x10332233223322330033220011112x1022221111221133332200000000001133332x10332233223322330033220011113x1022221111221133332200000000001133333x11332233223322330033220011110x1122221111221133332200000000001133330x11332233223322330033220011111x1122221111221133332200000000001133331x11332233223322330033220011112x1122221111221133332200000000001133332x11332233223322330033220011113x1122221111221133332200000000001133333x12332233223322330033220011110x1222221111221133332200000000001133330x12332233223322330033220011111x1222221111221133332200000000001133331x12332233223322330033220011112x1222221111221133332200000000001133332x12332233223322330033220011113x1222221111221133332200000000001133333x13332233223322330033220011110x1322221111221133332200000000001133330x13332233223322330033220011111x1322221111221133332200000000001133331x13332233223322330033220011112x1322221111221133332200000000001133332x13332233223322330033220011113x1322221111221133332200000000001133333x10333311331122332200222200000x1022112211330022220022221111333333330x10333311331122332200222200001x1022112211330022220022221111333333331x10333311331122332200222200002x1022112211330022220022221111333333332x10333311331122332200222200003x1022112211330022220022221111333333333x11333311331122332200222200000x1122112211330022220022221111333333330x11333311331122332200222200001x1122112211330022220022221111333333331x11333311331122332200222200002x1122112211330022220022221111333333332x11333311331122332200222200003x1122112211330022220022221111333333333x12333311331122332200222200000x1222112211330022220022221111333333330x12333311331122332200222200001x1222112211330022220022221111333333331x12333311331122332200222200002x1222112211330022220022221111333333332x12333311331122332200222200003x1222112211330022220022221111333333333x13333311331122332200222200000x1322112211330022220022221111333333330x13333311331122332200222200001x1322112211330022220022221111333333331x13333311331122332200222200002x1322112211330022220022221111333333332x13333311331122332200222200003x1322112211330022220022221111333333333x133322113311220000332233330x13221133222211333333110022113333330x133322113311220000332233331x13221133222211333333110022113333331x133322113311220000332233332x13221133222211333333110022113333332x133322113311220000332233333x13221133222211333333110022113333333x111717730197417932261571343339256339107023917283641421186830911117111430111226111143111381113751115711163111341111167111265322952042212142912642967218955462211952211007212419658727710289510218457314917311773134073116517031958835196817511808175118161751181812817128374128373128279128395128492128401285491282035167424226340281112814488122181173563623563643563702110196801952802028103171035091032621031951032131034481032211031121038110321910316610326610315601787242198919688080880177688018908801926184237318422032193539210019638712638759297179737497373975109739397395974929754997550972035289186540137340113491811651811537202937391519821688210173340618643091560266171721917171717171661885514206921138868088617848861892886193037420349610296104961101704171617041718170417201979196608701608730608762107311719935637117371633713417011942701201813631960136319641363199219771961361713649113634013616513618713618913639190956721154207039192358018931441455464612774611333276177013387913318371870491188731019538019532012195320832272423651736549136516536526436518736515383917392084107911214831962088112573817273791752279175239517521717524921752402131954601734199532913247083837483840083839283822083821283818883818083864838568383783862838164838186838194838218838372838394838178383738385498385508382035187165146327564575184037321919513417134509134262134195134219134166180921918091718091661931392091323341155944310419992421932210319691966538107111224154551755374553735524255401552275551055393551414555495555155550552035552013552029551972551064199124269639192939186630913441961965706733983790183791583794911594301159226115980115940011593921159220115921211591881159180115964115956115937115962115916411591861159194115921811593721159394115917115914311593811593752007242207239246419141622621181961936210140279181749118171651817400181739218172201817212181718818171801817641817561817371817621817164181718618171941817218181737218173941817171817187130864130816731308208919571127117715097126271195712437129671213712447144871221711127181714647154671145712667115601687196216534016549169519881022108010221128102211582122196108150910811710812621081195127133127135127141901194890120242067210718383731721631721400172139217212201721212172118817211801721641721561721371721621721164172118617211941721218172137217213941721171721341490287183415820132421645280202737319342093134219620843913514356093746094006093926092206092126091886091806096460956609376096260916460918660919460921860937260939460917609373180124273177349173340731657340273263731817318973397351573552168316951795212519561750192417501946175020223880381433822614282261428188667541172937791779430792267980791437938793757922879577914479657922979342795647984794517913507913517920127919537921241414230141419801971196916491916179163409161652481335721463172334570250970217702262702195211219649361049319222005242532338192620991937392003242192157889480894180089418968941934257963115223111920132270209211227713412071210940410721336204210619654705472547819273930824020313092065211110517105491105340105165105402105512105263105181105187105189105392114196237200013642421364373136440013643921364220136421213641881364180136464136456136437136462136416413641861364194136421813643721364394136417136440113642273631736321936340336316656517221987196202137320355492641732264199420334931647242200924220153735314652025373204339449130544916911945801945200419452075201937324429617792261538264114172619972421836373504386133419616921680633835717357395357492202337319253920112422075211717053951705171705492143619619637010414821771226672198620981961939801939199619392042102020871021193210211944102120202077211920941961943801943200219432067188914419831961080193810802014184637318611976126695126893126184390250990217902262902195144219618161972362820362182013161711891659504309502269508095040095039295022095021295018895018095064950569503795062950164950186950194950218950372950394950179501439503895037517952261314165310481158885158183927854393373171819842401443763430763226763807634007633927632207632127631887631807636476356763377636276316476318676319476321876337276339476317763143763387633752561078586179419751964141254141954112819702076398211753821188818602030173717561762176417164171801718617188171941721217218172201737217392173941740020901121725342172518948968089618028961902896193620683911294911129171129340112916514641961591271933391928210526753749216441862189186217186239203143352193207839142222635318351421714243014222614214314238142375142631423411422281421350143424919591122017373195511218911442108196190314437543014441965744732102196198519619526219550919478019472006194720691306147558307558186314456314414136115961065112178524219302097196719617772423541307354186921014152101730171619501716202647627782218471951801951201019512071210419688880888172488817868881928197319620663918443734031884192420957088770184118971441961641961199019612091576190810233741023400102339210232201023212102318810231801023641023561023371023621023164102318610231941023218102337210233941023171023373321144118032424751778208321231949801949200819492077198119817194911719165171940017193921719220171921217191881719180171964171956171937171962171916417191861719194171921817193721719394171917171918720961961300143130016463121315941427395373395674175417362120196194180194119981941206560719781819631819400181939218192201819212181918818191801819641819561819371819621819164181918618191941819218181937218193941819171819341238132123819661561792146619629124020012263551299355131335516751731371963091964621808194018082016545943071867110171712152252312123523612152452512140240312115815912123723812116801681121247248121100910101215395401212832841211994199512133033112133333412147547612116971698121312313121464712170170212187881211359136012116821683121497498121218219121441442121600601121314315121495012151952012120620712124524612170711215975981212002011216036041211191201214344121455456121543544121199219931214674681211014101512132832912130230312116516612151251312155655712120220312113571358121485486121173917401218288291211854185512111411521017172311012101323159259323131831923118818923116861687231695696231192819292316076082312083208423120422043231193219332316726732311171182311936193723120772078231535423160260323119261927231193019312312075207623119241925231531532231542543231206920702311511522311718171923191591623120652066231132313242311541552312972982312071207223138392315185192311934193523148492312067206823110410530017170301717120171711118511852111188418851113313321115051111598599111493494111212213111456457111183118321111908190911137637711148348411149849911148248311152953011127627711148148211154454511148648711119819911118551856111452453111284285111566567111275276111120121111334335111180818091113533541115135141111737173811188891114384391111007100811160460511145745811127427511116951696111557558111349350111133134111243244111444511118561857111108010811111121131111698169911182983011110151016331172217233312107210833119021903331341342331175176331148214833311350135133189589633117241725331212321243311984198533184853318938943311978197933117941795331174617473318248253311952195333164653311431443312101210233111011133119861987331344345331489490331287288331553554331345346331188818893311747174833117031704331150151331433434331174517463311826182733156356433182382433145045133134334433142442533130430533112512633143243333126726833160660733120992100331256257331198819893311827182833142642733143443533121192120331172017213311892189333118251826331228229331949950331305306331581582331255256331168516863312111211233121172118331351352331527528331189618973315805813315165173315253331194819493315645653312097209833150250333120932094331194419453314624633312121212233134234333119821983331210521063318283331517518331189018913311020102133142542633183843312109211033117617733118491850331146514663312095209633121032104331252253331211321143311950195133119461947331317318331825826331179217933312082093014314323013163173011824182530112991300301373830157357430114211422301413414301370371301374375301178179301833834301182218233013863873012302313011734173530125125230122722830192933011349135030113521353301141514163018208213011684168501123823901124824901138538601120142015011919201118371838011175117520111271280111433143401125025101116831684011136013610111835183601110221023011169917000112016201701135435501154654701130030101133533601150951001139239301131531601183283323017172001717220171701017172111351362111742174321144844921118571858211471472211277278211269270211157158211583584211595596211199200211484485211511512211169616972115405412116106112111016101721149950021118161817211827828211310311211453454211135813592111451462114394402111852185321138138221145845921117381739211262263211285286211167816792114104112113293302111681692112362372114664672111847184821146846921120120221155555621157657721113561357211132113222118687211183218332111211222114944952112822832115675682112462472111010101121118601861211168116822111008100921142142221111311421128929021152552621194952111151162114034042111128112921124424521151451521145462113133142113773782115235242118358362114874882112342352111801812114744752115996002113323332113073082114142211186918703217879321338339321155156321146314643218858863215155163211072107332119421943321177817793214884893211721733215415423214084093212000200132188788832150150232144945032118481849321423424321170217033214694703211441144232183683732119601961321959632128628732111611732117441745321472473321626332127227332114431444321264265321197419753213833843213403413215855863211976197732155255332176276332115315432152652732110111012311101910203111940194131113351336311605606311177017713111829183031113331334311135413553113033043111740174131118631864311134113423111158115931147483115305313111411423112662673118990311195196311436437311130713083118798803118182311428429311134313443114194203115657311822823311350351311193819393111435143631129629731144244331119221923311197019713112030203131183083131117417531112412531120720831125425531116616731118671868311181818193111491503111427142831116761677311186518663115152311601602311196619673114644653112322333111749175031119721973311579580311203204311520521311196819691301717310171710159459510151051110112312410149249310114814910119719810167467510117361737101299300101249250101404110116751676101380381101460461101242243101198019811011859186010157857910119419510110181019101203220331013483491012812821013623631315825831312732741312202211311894189513185861314514521311353135413118501851131265266131586587131939413110781079131195619571311748174913117501751131306307131831832131144145131420421131463464131195419551311261271315655661314274281318081131174117421311021031313093101318348351311886188713190911313523531311671681313843851311355135613115615713117161717131209120921312682691311828182913115591560131167716781311064106513110701071131231232131575576131375376131288289131173174131208920901314654661314704711315545551312087208813147347413143543613140941013119581959131102110221311830183113143743813125325413123323413182682713182182213152852913190190233017172015385392011361136220117001701201301302201551552201279280201336337201320321201210211201570571201205206201164416452013643652012392402011711722014074082011313131420116416522142432215845852211743174422119641965221101310142214044052211701170222127027122144044122157157222127127222117321733221596597221454455221727322116911692221185318542214954962215005012212632642211962196322118611862221118119221186187221183318342213273282211691702214114122212902912214224232217307312211362136322140540622131131222132132222115215322124024122133733822115371538221568569221382383221167916802214964971001717320171703119901991031201020110311776177703196970311784178503120262027031184318440312004200503117861787031173517360311646164703119619703120282029031202420250311823182403114131414031199619970312022202303117531754031180218030314004010315375380318378380312012201303120022003031226227031229230031503504031199819990312020202103143043103117717803113511352031204205031167316740311800180103117041705031184518460312006200703120921003120082009031346347001347348001373374001547548001548549001372373001379380001550551001182018210013563570011821182200135535600114714800154955000117301731001203420350011728172902017170211461470212982990211701710211839184002141241302117261727021569570021378379021394395021136313640211315131602116871688021184118420213193200211305130602120182019021406407021459460021593594021545502110171018021608609021122123021491492021572573021280281021577578021185818590211920192102139400001717ttt2ttt2 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])))