32893 data/secret/80-same-letters.in data/secret/80-same-letters.ans
32893 data/secret/22-small-n10-k100-1.in data/secret/22-small-n10-k100-1.ans
32893 data/secret/66-same-letter.in data/secret/66-same-letter.ans
32893 data/secret/78-same-letters.in data/secret/78-same-letters.ans
32893 data/secret/76-same-letters.in data/secret/76-same-letters.ans
32893 data/secret/57-max-almost-power-two.in data/secret/57-max-almost-power-two.ans
32893 data/secret/83-same-letters.in data/secret/83-same-letters.ans
32893 data/secret/56-max-almost-power-two.in data/secret/56-max-almost-power-two.ans
32893 data/secret/32-small-n50-k10000-3.in data/secret/32-small-n50-k10000-3.ans
32893 data/secret/08-max.in data/secret/08-max.ans
32893 data/secret/17-small-n5-k10-1.in data/secret/17-small-n5-k10-1.ans
32893 data/secret/34-small-n100-k1M-2.in data/secret/34-small-n100-k1M-2.ans
32893 data/secret/20-small-n5-k10-4.in data/secret/20-small-n5-k10-4.ans
32893 data/secret/59-max-almost-power-two.in data/secret/59-max-almost-power-two.ans
32893 data/secret/55-max-power-two.in data/secret/55-max-power-two.ans
32893 data/secret/79-same-letters.in data/secret/79-same-letters.ans
32893 data/secret/15-small-n2-k5-4.in data/secret/15-small-n2-k5-4.ans
32893 data/secret/19-small-n5-k10-3.in data/secret/19-small-n5-k10-3.ans
32893 data/secret/61-max-power-two.in data/secret/61-max-power-two.ans
32893 data/secret/51-max-power-two.in data/secret/51-max-power-two.ans
32893 data/secret/27-small-n20-k1000-2.in data/secret/27-small-n20-k1000-2.ans
32893 data/secret/06-max.in data/secret/06-max.ans
32893 data/secret/13-small-n2-k5-2.in data/secret/13-small-n2-k5-2.ans
32893 data/secret/58-max-almost-power-two.in data/secret/58-max-almost-power-two.ans
32893 data/secret/16-small-n2-k5-5.in data/secret/16-small-n2-k5-5.ans
32893 data/secret/43-max-prime.in data/secret/43-max-prime.ans
32893 data/secret/82-same-letters.in data/secret/82-same-letters.ans
32893 data/secret/47-max-power-two.in data/secret/47-max-power-two.ans
32893 data/secret/45-max-prime.in data/secret/45-max-prime.ans
32893 data/secret/30-small-n50-k10000-1.in data/secret/30-small-n50-k10000-1.ans
32893 data/secret/46-max-power-two.in data/secret/46-max-power-two.ans
32893 data/secret/07-max.in data/secret/07-max.ans
32893 data/secret/12-small-n2-k5-1.in data/secret/12-small-n2-k5-1.ans
32893 data/secret/36-random.in data/secret/36-random.ans
32893 data/secret/41-random-5.in data/secret/41-random-5.ans
32893 data/secret/69-same-letter.in data/secret/69-same-letter.ans
32893 data/secret/38-random-2.in data/secret/38-random-2.ans
32893 data/secret/54-max-power-two.in data/secret/54-max-power-two.ans
32893 data/secret/05-max.in data/secret/05-max.ans
32893 data/secret/77-same-letters.in data/secret/77-same-letters.ans
32893 data/secret/73-same-letters.in data/secret/73-same-letters.ans
32893 data/secret/23-small-n10-k100-2.in data/secret/23-small-n10-k100-2.ans
32893 data/secret/24-small-n10-k100-3.in data/secret/24-small-n10-k100-3.ans
32893 data/secret/85-same-letters.in data/secret/85-same-letters.ans
32893 data/secret/28-small-n20-k1000-3.in data/secret/28-small-n20-k1000-3.ans
32893 data/secret/81-same-letters.in data/secret/81-same-letters.ans
32893 data/secret/67-same-letter.in data/secret/67-same-letter.ans
32893 data/secret/29-small-n20-k1000-4.in data/secret/29-small-n20-k1000-4.ans
32893 data/secret/37-random-1.in data/secret/37-random-1.ans
32893 data/secret/35-small-n100-k1M-3.in data/secret/35-small-n100-k1M-3.ans
32893 data/secret/40-random-4.in data/secret/40-random-4.ans
32893 data/secret/09-max.in data/secret/09-max.ans
32893 data/secret/71-same-letters.in data/secret/71-same-letters.ans
32893 data/secret/11-small.in data/secret/11-small.ans
32893 data/secret/25-small-n10-k100-4.in data/secret/25-small-n10-k100-4.ans
32893 data/secret/63-max-power-two.in data/secret/63-max-power-two.ans
32893 data/secret/60-max-almost-power-two.in data/secret/60-max-almost-power-two.ans
32893 data/secret/75-same-letters.in data/secret/75-same-letters.ans
32893 data/secret/26-small-n20-k1000-1.in data/secret/26-small-n20-k1000-1.ans
32893 data/secret/50-max-power-two.in data/secret/50-max-power-two.ans
32893 data/secret/31-small-n50-k10000-2.in data/secret/31-small-n50-k10000-2.ans
32893 data/secret/70-same-letters.in data/secret/70-same-letters.ans
32893 data/secret/72-same-letters.in data/secret/72-same-letters.ans
32893 data/secret/48-max-power-two.in data/secret/48-max-power-two.ans
32893 data/secret/44-max-prime.in data/secret/44-max-prime.ans
32893 data/secret/68-same-letter.in data/secret/68-same-letter.ans
32893 data/secret/86-paul.in data/secret/86-paul.ans
32893 data/secret/65-same-letter.in data/secret/65-same-letter.ans
32893 data/secret/74-same-letters.in data/secret/74-same-letters.ans
32893 data/secret/18-small-n5-k10-2.in data/secret/18-small-n5-k10-2.ans
32893 data/secret/10-min.in data/secret/10-min.ans
32893 data/secret/42-max-prime.in data/secret/42-max-prime.ans
32893 data/secret/52-max-power-two.in data/secret/52-max-power-two.ans
32893 data/secret/33-small-n100-k1M-1.in data/secret/33-small-n100-k1M-1.ans
32893 data/secret/53-max-power-two.in data/secret/53-max-power-two.ans
32893 data/secret/21-small-n5-k10-5.in data/secret/21-small-n5-k10-5.ans
32893 data/secret/14-small-n2-k5-3.in data/secret/14-small-n2-k5-3.ans
32893 data/secret/62-max-power-two.in data/secret/62-max-power-two.ans
32893 data/secret/84-same-letters.in data/secret/84-same-letters.ans
32893 data/secret/49-max-power-two.in data/secret/49-max-power-two.ans
32893 data/secret/64-max-power-two.in data/secret/64-max-power-two.ans
32893 data/secret/39-random-3.in data/secret/39-random-3.ans