18020 data/secret/01-minimal.in data/secret/01-minimal.ans
18020 data/secret/02-minimal.in data/secret/02-minimal.ans
18020 data/secret/03-maximal.in data/secret/03-maximal.ans
18020 data/secret/04-maximal.in data/secret/04-maximal.ans
18020 data/secret/05-small.in data/secret/05-small.ans
18020 data/secret/06-small.in data/secret/06-small.ans
18020 data/secret/07-oneslice.in data/secret/07-oneslice.ans
18020 data/secret/08-oneslice.in data/secret/08-oneslice.ans
18020 data/secret/09-narrow.in data/secret/09-narrow.ans
18020 data/secret/10-narrow.in data/secret/10-narrow.ans
18020 data/secret/11-narrow.in data/secret/11-narrow.ans
18020 data/secret/12-narrow.in data/secret/12-narrow.ans
18020 data/secret/13-twopow.in data/secret/13-twopow.ans
18020 data/secret/14-prime_a.in data/secret/14-prime_a.ans
18020 data/secret/15-rsa_a.in data/secret/15-rsa_a.ans
18020 data/secret/16-rsa_a.in data/secret/16-rsa_a.ans
18020 data/secret/17-rsa_a.in data/secret/17-rsa_a.ans
18020 data/secret/18-lopsided_rsa_a.in data/secret/18-lopsided_rsa_a.ans
18020 data/secret/19-lopsided_rsa_a.in data/secret/19-lopsided_rsa_a.ans
18020 data/secret/20-random.in data/secret/20-random.ans
18020 data/secret/21-random.in data/secret/21-random.ans
18020 data/secret/22-random.in data/secret/22-random.ans
18020 data/secret/23-random.in data/secret/23-random.ans
18020 data/secret/24-random.in data/secret/24-random.ans
18020 data/secret/25-random.in data/secret/25-random.ans
18020 data/secret/26-random.in data/secret/26-random.ans
18020 data/secret/27-random.in data/secret/27-random.ans
18020 data/secret/28-random.in data/secret/28-random.ans
18020 data/secret/29-random.in data/secret/29-random.ans
18020 data/secret/30-random_1cut.in data/secret/30-random_1cut.ans
18020 data/secret/31-random_1cut.in data/secret/31-random_1cut.ans
18020 data/secret/32-random_1cut.in data/secret/32-random_1cut.ans
18020 data/secret/33-random_1cut.in data/secret/33-random_1cut.ans
18020 data/secret/34-random_1cut.in data/secret/34-random_1cut.ans
18020 data/secret/35-random_1cut.in data/secret/35-random_1cut.ans
18020 data/secret/36-random_1cut.in data/secret/36-random_1cut.ans
18020 data/secret/37-random_1cut.in data/secret/37-random_1cut.ans
18020 data/secret/38-random_1cut.in data/secret/38-random_1cut.ans
18020 data/secret/39-random_1cut.in data/secret/39-random_1cut.ans
18020 data/secret/40-random_2cuts.in data/secret/40-random_2cuts.ans
18020 data/secret/41-random_2cuts.in data/secret/41-random_2cuts.ans
18020 data/secret/42-random_2cuts.in data/secret/42-random_2cuts.ans
18020 data/secret/43-random_2cuts.in data/secret/43-random_2cuts.ans
18020 data/secret/44-random_2cuts.in data/secret/44-random_2cuts.ans
18020 data/secret/45-random_2cuts.in data/secret/45-random_2cuts.ans
18020 data/secret/46-random_2cuts.in data/secret/46-random_2cuts.ans
18020 data/secret/47-random_2cuts.in data/secret/47-random_2cuts.ans
18020 data/secret/48-random_2cuts.in data/secret/48-random_2cuts.ans
18020 data/secret/49-random_2cuts.in data/secret/49-random_2cuts.ans
18020 data/secret/50-random_3cuts.in data/secret/50-random_3cuts.ans
18020 data/secret/51-random_3cuts.in data/secret/51-random_3cuts.ans
18020 data/secret/52-random_3cuts.in data/secret/52-random_3cuts.ans
18020 data/secret/53-random_3cuts.in data/secret/53-random_3cuts.ans
18020 data/secret/54-random_3cuts.in data/secret/54-random_3cuts.ans
18020 data/secret/55-random_3cuts.in data/secret/55-random_3cuts.ans
18020 data/secret/56-random_3cuts.in data/secret/56-random_3cuts.ans
18020 data/secret/57-random_3cuts.in data/secret/57-random_3cuts.ans
18020 data/secret/58-random_3cuts.in data/secret/58-random_3cuts.ans
18020 data/secret/59-random_3cuts.in data/secret/59-random_3cuts.ans