31511 data/secret/012-n10-alloff.in data/secret/012-n10-alloff.ans
31511 data/secret/014-maxop.in data/secret/014-maxop.ans
31511 data/secret/022-random-8.in data/secret/022-random-8.ans
31511 data/secret/007-nav-r.in data/secret/007-nav-r.ans
31511 data/secret/021-random-7.in data/secret/021-random-7.ans
31511 data/secret/016-random-2.in data/secret/016-random-2.ans
31511 data/secret/017-random-3.in data/secret/017-random-3.ans
31511 data/secret/002-n1-toggle.in data/secret/002-n1-toggle.ans
31511 data/secret/015-random-1.in data/secret/015-random-1.ans
31511 data/secret/013-n10-allon.in data/secret/013-n10-allon.ans
31511 data/secret/004-n1000-noop.in data/secret/004-n1000-noop.ans
31511 data/secret/019-random-5.in data/secret/019-random-5.ans
31511 data/secret/010-nav-ml.in data/secret/010-nav-ml.ans
31511 data/secret/009-nav-mr.in data/secret/009-nav-mr.ans
31511 data/secret/011-allop.in data/secret/011-allop.ans
31511 data/secret/003-n1-noop.in data/secret/003-n1-noop.ans
31511 data/secret/020-random-6.in data/secret/020-random-6.ans
31511 data/secret/018-random-4.in data/secret/018-random-4.ans
31511 data/secret/008-nav-l.in data/secret/008-nav-l.ans
31511 data/secret/006-n7-noop2.in data/secret/006-n7-noop2.ans
31511 data/secret/005-n7-noop.in data/secret/005-n7-noop.ans