10526 data/secret/17-big-no-solution.in data/secret/17-big-no-solution.ans
10526 data/secret/71-fivepoints.in data/secret/71-fivepoints.ans
10526 data/secret/13-big-no-solution.in data/secret/13-big-no-solution.ans
10526 data/secret/75-fivepoints.in data/secret/75-fivepoints.ans
10526 data/secret/80-fivepoints.in data/secret/80-fivepoints.ans
10526 data/secret/23-big-random.in data/secret/23-big-random.ans
10526 data/secret/10-int-overflow.in data/secret/10-int-overflow.ans
10526 data/secret/12-single-solution.in data/secret/12-single-solution.ans
10526 data/secret/09-random-unique.in data/secret/09-random-unique.ans
10526 data/secret/21-big-random.in data/secret/21-big-random.ans
10526 data/secret/18-big-single-solution.in data/secret/18-big-single-solution.ans
10526 data/secret/02-big-random-impossible.in data/secret/02-big-random-impossible.ans
10526 data/secret/19-big-random.in data/secret/19-big-random.ans
10526 data/secret/35-random.in data/secret/35-random.ans
10526 data/secret/20-big-random.in data/secret/20-big-random.ans
10526 data/secret/36-random.in data/secret/36-random.ans
10526 data/secret/32-random.in data/secret/32-random.ans
10526 data/secret/31-random.in data/secret/31-random.ans
10526 data/secret/73-fivepoints.in data/secret/73-fivepoints.ans
10526 data/secret/77-fivepoints.in data/secret/77-fivepoints.ans
10526 data/secret/15-small-possible.in data/secret/15-small-possible.ans
10526 data/secret/72-fivepoints.in data/secret/72-fivepoints.ans
10526 data/secret/24-big-random.in data/secret/24-big-random.ans
10526 data/secret/11-int-overflow2.in data/secret/11-int-overflow2.ans
10526 data/secret/60-twopots.in data/secret/60-twopots.ans
10526 data/secret/30-random.in data/secret/30-random.ans
10526 data/secret/78-fivepoints.in data/secret/78-fivepoints.ans
10526 data/secret/27-random.in data/secret/27-random.ans
10526 data/secret/05-random-unique.in data/secret/05-random-unique.ans
10526 data/secret/07-random-unique.in data/secret/07-random-unique.ans
10526 data/secret/29-random.in data/secret/29-random.ans
10526 data/secret/22-big-random.in data/secret/22-big-random.ans
10526 data/secret/16-small-impossible.in data/secret/16-small-impossible.ans
10526 data/secret/33-random.in data/secret/33-random.ans
10526 data/secret/06-random-unique.in data/secret/06-random-unique.ans
10526 data/secret/03-kill-branchbound1.in data/secret/03-kill-branchbound1.ans
10526 data/secret/26-random.in data/secret/26-random.ans
10526 data/secret/81-fivepoints.in data/secret/81-fivepoints.ans
10526 data/secret/28-random.in data/secret/28-random.ans
10526 data/secret/34-random.in data/secret/34-random.ans
10526 data/secret/25-big-random.in data/secret/25-big-random.ans
10526 data/secret/01-kill-branchbound2-crt.in data/secret/01-kill-branchbound2-crt.ans
10526 data/secret/08-random-unique.in data/secret/08-random-unique.ans
10526 data/secret/76-fivepoints.in data/secret/76-fivepoints.ans
10526 data/secret/79-fivepoints.in data/secret/79-fivepoints.ans
10526 data/secret/14-big-no-solution.in data/secret/14-big-no-solution.ans
10526 data/secret/04-kill-branchbound2.in data/secret/04-kill-branchbound2.ans
10526 data/secret/70-fivepoints.in data/secret/70-fivepoints.ans
10526 data/secret/74-fivepoints.in data/secret/74-fivepoints.ans