32900 data/secret/066-planted-large-08.in data/secret/066-planted-large-08.ans
32900 data/secret/018-possible.in data/secret/018-possible.ans
32900 data/secret/067-planted-large-09.in data/secret/067-planted-large-09.ans
32900 data/secret/142-fuzz.in data/secret/142-fuzz.ans
32900 data/secret/046-planted-large-low-h-3.in data/secret/046-planted-large-low-h-3.ans
32900 data/secret/143-fuzz.in data/secret/143-fuzz.ans
32900 data/secret/152-fuzz.in data/secret/152-fuzz.ans
32900 data/secret/048-planted-large-low-h-5.in data/secret/048-planted-large-low-h-5.ans
32900 data/secret/075-planted-large-17.in data/secret/075-planted-large-17.ans
32900 data/secret/156-fuzz.in data/secret/156-fuzz.ans
32900 data/secret/060-planted-large-02.in data/secret/060-planted-large-02.ans
32900 data/secret/017-possible.in data/secret/017-possible.ans
32900 data/secret/141-fuzz.in data/secret/141-fuzz.ans
32900 data/secret/035-planted-medium.in data/secret/035-planted-medium.ans
32900 data/secret/038-planted-medium.in data/secret/038-planted-medium.ans
32900 data/secret/061-planted-large-03.in data/secret/061-planted-large-03.ans
32900 data/secret/119-random_with_lim_10_for_a_and_b_small_enough_for_dp-01.in data/secret/119-random_with_lim_10_for_a_and_b_small_enough_for_dp-01.ans
32900 data/secret/137-random_with_lim_3_for_a_and_b_small_enough_for_dp-09.in data/secret/137-random_with_lim_3_for_a_and_b_small_enough_for_dp-09.ans
32900 data/secret/044-planted-large-low-h-1.in data/secret/044-planted-large-low-h-1.ans
32900 data/secret/053-planted-large-low-h-5.in data/secret/053-planted-large-low-h-5.ans
32900 data/secret/123-random_with_lim_10_for_a_and_b_small_enough_for_dp-05.in data/secret/123-random_with_lim_10_for_a_and_b_small_enough_for_dp-05.ans
32900 data/secret/096-random_with_max_constraints-08.in data/secret/096-random_with_max_constraints-08.ans
32900 data/secret/095-random_with_max_constraints-07.in data/secret/095-random_with_max_constraints-07.ans
32900 data/secret/043-planted-medium.in data/secret/043-planted-medium.ans
32900 data/secret/057-planted-large-low-h-4.in data/secret/057-planted-large-low-h-4.ans
32900 data/secret/121-random_with_lim_10_for_a_and_b_small_enough_for_dp-03.in data/secret/121-random_with_lim_10_for_a_and_b_small_enough_for_dp-03.ans
32900 data/secret/092-random_with_max_constraints-04.in data/secret/092-random_with_max_constraints-04.ans
32900 data/secret/104-random_with_lim_10_for_a_and_b-06.in data/secret/104-random_with_lim_10_for_a_and_b-06.ans
32900 data/secret/078-planted-large-20.in data/secret/078-planted-large-20.ans
32900 data/secret/108-random_with_lim_10_for_a_and_b-10.in data/secret/108-random_with_lim_10_for_a_and_b-10.ans
32900 data/secret/082-possible_zero-04.in data/secret/082-possible_zero-04.ans
32900 data/secret/089-random_with_max_constraints-01.in data/secret/089-random_with_max_constraints-01.ans
32900 data/secret/054-planted-large-low-h-1.in data/secret/054-planted-large-low-h-1.ans
32900 data/secret/133-random_with_lim_3_for_a_and_b_small_enough_for_dp-05.in data/secret/133-random_with_lim_3_for_a_and_b_small_enough_for_dp-05.ans
32900 data/secret/007-min.in data/secret/007-min.ans
32900 data/secret/122-random_with_lim_10_for_a_and_b_small_enough_for_dp-04.in data/secret/122-random_with_lim_10_for_a_and_b_small_enough_for_dp-04.ans
32900 data/secret/113-random_with_max_constraints_small_enough_for_dp-05.in data/secret/113-random_with_max_constraints_small_enough_for_dp-05.ans
32900 data/secret/140-fuzz.in data/secret/140-fuzz.ans
32900 data/secret/030-planted-small.in data/secret/030-planted-small.ans
32900 data/secret/029-planted-small.in data/secret/029-planted-small.ans
32900 data/secret/084-possible_zero-06.in data/secret/084-possible_zero-06.ans
32900 data/secret/037-planted-medium.in data/secret/037-planted-medium.ans
32900 data/secret/139-fuzz.in data/secret/139-fuzz.ans
32900 data/secret/032-planted-medium.in data/secret/032-planted-medium.ans
32900 data/secret/012-small.in data/secret/012-small.ans
32900 data/secret/101-random_with_lim_10_for_a_and_b-03.in data/secret/101-random_with_lim_10_for_a_and_b-03.ans
32900 data/secret/072-planted-large-14.in data/secret/072-planted-large-14.ans
32900 data/secret/055-planted-large-low-h-2.in data/secret/055-planted-large-low-h-2.ans
32900 data/secret/076-planted-large-18.in data/secret/076-planted-large-18.ans
32900 data/secret/124-random_with_lim_10_for_a_and_b_small_enough_for_dp-06.in data/secret/124-random_with_lim_10_for_a_and_b_small_enough_for_dp-06.ans
32900 data/secret/068-planted-large-10.in data/secret/068-planted-large-10.ans
32900 data/secret/125-random_with_lim_10_for_a_and_b_small_enough_for_dp-07.in data/secret/125-random_with_lim_10_for_a_and_b_small_enough_for_dp-07.ans
32900 data/secret/099-random_with_lim_10_for_a_and_b-01.in data/secret/099-random_with_lim_10_for_a_and_b-01.ans
32900 data/secret/041-planted-medium.in data/secret/041-planted-medium.ans
32900 data/secret/005-min.in data/secret/005-min.ans
32900 data/secret/106-random_with_lim_10_for_a_and_b-08.in data/secret/106-random_with_lim_10_for_a_and_b-08.ans
32900 data/secret/026-planted-small.in data/secret/026-planted-small.ans
32900 data/secret/009-min.in data/secret/009-min.ans
32900 data/secret/091-random_with_max_constraints-03.in data/secret/091-random_with_max_constraints-03.ans
32900 data/secret/056-planted-large-low-h-3.in data/secret/056-planted-large-low-h-3.ans
32900 data/secret/158-fuzz.in data/secret/158-fuzz.ans
32900 data/secret/031-planted-medium.in data/secret/031-planted-medium.ans
32900 data/secret/058-planted-large-low-h-5.in data/secret/058-planted-large-low-h-5.ans
32900 data/secret/126-random_with_lim_10_for_a_and_b_small_enough_for_dp-08.in data/secret/126-random_with_lim_10_for_a_and_b_small_enough_for_dp-08.ans
32900 data/secret/069-planted-large-11.in data/secret/069-planted-large-11.ans
32900 data/secret/088-possible_zero-10.in data/secret/088-possible_zero-10.ans
32900 data/secret/039-planted-medium.in data/secret/039-planted-medium.ans
32900 data/secret/071-planted-large-13.in data/secret/071-planted-large-13.ans
32900 data/secret/100-random_with_lim_10_for_a_and_b-02.in data/secret/100-random_with_lim_10_for_a_and_b-02.ans
32900 data/secret/155-fuzz.in data/secret/155-fuzz.ans
32900 data/secret/129-random_with_lim_3_for_a_and_b_small_enough_for_dp-01.in data/secret/129-random_with_lim_3_for_a_and_b_small_enough_for_dp-01.ans
32900 data/secret/023-all_books_one_shelf.in data/secret/023-all_books_one_shelf.ans
32900 data/secret/154-fuzz.in data/secret/154-fuzz.ans
32900 data/secret/027-planted-small.in data/secret/027-planted-small.ans
32900 data/secret/079-possible_zero-01.in data/secret/079-possible_zero-01.ans
32900 data/secret/047-planted-large-low-h-4.in data/secret/047-planted-large-low-h-4.ans
32900 data/secret/118-random_with_max_constraints_small_enough_for_dp-10.in data/secret/118-random_with_max_constraints_small_enough_for_dp-10.ans
32900 data/secret/077-planted-large-19.in data/secret/077-planted-large-19.ans
32900 data/secret/153-fuzz.in data/secret/153-fuzz.ans
32900 data/secret/110-random_with_max_constraints_small_enough_for_dp-02.in data/secret/110-random_with_max_constraints_small_enough_for_dp-02.ans
32900 data/secret/149-fuzz.in data/secret/149-fuzz.ans
32900 data/secret/097-random_with_max_constraints-09.in data/secret/097-random_with_max_constraints-09.ans
32900 data/secret/117-random_with_max_constraints_small_enough_for_dp-09.in data/secret/117-random_with_max_constraints_small_enough_for_dp-09.ans
32900 data/secret/033-planted-medium.in data/secret/033-planted-medium.ans
32900 data/secret/045-planted-large-low-h-2.in data/secret/045-planted-large-low-h-2.ans
32900 data/secret/052-planted-large-low-h-4.in data/secret/052-planted-large-low-h-4.ans
32900 data/secret/146-fuzz.in data/secret/146-fuzz.ans
32900 data/secret/135-random_with_lim_3_for_a_and_b_small_enough_for_dp-07.in data/secret/135-random_with_lim_3_for_a_and_b_small_enough_for_dp-07.ans
32900 data/secret/059-planted-large-01.in data/secret/059-planted-large-01.ans
32900 data/secret/062-planted-large-04.in data/secret/062-planted-large-04.ans
32900 data/secret/040-planted-medium.in data/secret/040-planted-medium.ans
32900 data/secret/087-possible_zero-09.in data/secret/087-possible_zero-09.ans
32900 data/secret/006-min.in data/secret/006-min.ans
32900 data/secret/144-fuzz.in data/secret/144-fuzz.ans
32900 data/secret/090-random_with_max_constraints-02.in data/secret/090-random_with_max_constraints-02.ans
32900 data/secret/019-possible_zero.in data/secret/019-possible_zero.ans
32900 data/secret/107-random_with_lim_10_for_a_and_b-09.in data/secret/107-random_with_lim_10_for_a_and_b-09.ans
32900 data/secret/013-small.in data/secret/013-small.ans
32900 data/secret/051-planted-large-low-h-3.in data/secret/051-planted-large-low-h-3.ans
32900 data/secret/093-random_with_max_constraints-05.in data/secret/093-random_with_max_constraints-05.ans
32900 data/secret/128-random_with_lim_10_for_a_and_b_small_enough_for_dp-10.in data/secret/128-random_with_lim_10_for_a_and_b_small_enough_for_dp-10.ans
32900 data/secret/138-random_with_lim_3_for_a_and_b_small_enough_for_dp-10.in data/secret/138-random_with_lim_3_for_a_and_b_small_enough_for_dp-10.ans
32900 data/secret/114-random_with_max_constraints_small_enough_for_dp-06.in data/secret/114-random_with_max_constraints_small_enough_for_dp-06.ans
32900 data/secret/131-random_with_lim_3_for_a_and_b_small_enough_for_dp-03.in data/secret/131-random_with_lim_3_for_a_and_b_small_enough_for_dp-03.ans
32900 data/secret/111-random_with_max_constraints_small_enough_for_dp-03.in data/secret/111-random_with_max_constraints_small_enough_for_dp-03.ans
32900 data/secret/083-possible_zero-05.in data/secret/083-possible_zero-05.ans
32900 data/secret/025-planted-small.in data/secret/025-planted-small.ans
32900 data/secret/022-all_books_one_shelf.in data/secret/022-all_books_one_shelf.ans
32900 data/secret/112-random_with_max_constraints_small_enough_for_dp-04.in data/secret/112-random_with_max_constraints_small_enough_for_dp-04.ans
32900 data/secret/042-planted-medium.in data/secret/042-planted-medium.ans
32900 data/secret/157-fuzz.in data/secret/157-fuzz.ans
32900 data/secret/085-possible_zero-07.in data/secret/085-possible_zero-07.ans
32900 data/secret/086-possible_zero-08.in data/secret/086-possible_zero-08.ans
32900 data/secret/070-planted-large-12.in data/secret/070-planted-large-12.ans
32900 data/secret/132-random_with_lim_3_for_a_and_b_small_enough_for_dp-04.in data/secret/132-random_with_lim_3_for_a_and_b_small_enough_for_dp-04.ans
32900 data/secret/081-possible_zero-03.in data/secret/081-possible_zero-03.ans
32900 data/secret/049-planted-large-low-h-1.in data/secret/049-planted-large-low-h-1.ans
32900 data/secret/034-planted-medium.in data/secret/034-planted-medium.ans
32900 data/secret/103-random_with_lim_10_for_a_and_b-05.in data/secret/103-random_with_lim_10_for_a_and_b-05.ans
32900 data/secret/064-planted-large-06.in data/secret/064-planted-large-06.ans
32900 data/secret/147-fuzz.in data/secret/147-fuzz.ans
32900 data/secret/074-planted-large-16.in data/secret/074-planted-large-16.ans
32900 data/secret/145-fuzz.in data/secret/145-fuzz.ans
32900 data/secret/109-random_with_max_constraints_small_enough_for_dp-01.in data/secret/109-random_with_max_constraints_small_enough_for_dp-01.ans
32900 data/secret/011-min.in data/secret/011-min.ans
32900 data/secret/063-planted-large-05.in data/secret/063-planted-large-05.ans
32900 data/secret/080-possible_zero-02.in data/secret/080-possible_zero-02.ans
32900 data/secret/008-min.in data/secret/008-min.ans
32900 data/secret/024-all_books_one_shelf.in data/secret/024-all_books_one_shelf.ans
32900 data/secret/021-all_books_one_shelf.in data/secret/021-all_books_one_shelf.ans
32900 data/secret/020-all_books_one_shelf.in data/secret/020-all_books_one_shelf.ans
32900 data/secret/016-impossible.in data/secret/016-impossible.ans
32900 data/secret/150-fuzz.in data/secret/150-fuzz.ans
32900 data/secret/134-random_with_lim_3_for_a_and_b_small_enough_for_dp-06.in data/secret/134-random_with_lim_3_for_a_and_b_small_enough_for_dp-06.ans
32900 data/secret/014-possible_zero.in data/secret/014-possible_zero.ans
32900 data/secret/065-planted-large-07.in data/secret/065-planted-large-07.ans
32900 data/secret/148-fuzz.in data/secret/148-fuzz.ans
32900 data/secret/120-random_with_lim_10_for_a_and_b_small_enough_for_dp-02.in data/secret/120-random_with_lim_10_for_a_and_b_small_enough_for_dp-02.ans
32900 data/secret/036-planted-medium.in data/secret/036-planted-medium.ans
32900 data/secret/130-random_with_lim_3_for_a_and_b_small_enough_for_dp-02.in data/secret/130-random_with_lim_3_for_a_and_b_small_enough_for_dp-02.ans
32900 data/secret/015-impossible.in data/secret/015-impossible.ans
32900 data/secret/136-random_with_lim_3_for_a_and_b_small_enough_for_dp-08.in data/secret/136-random_with_lim_3_for_a_and_b_small_enough_for_dp-08.ans
32900 data/secret/127-random_with_lim_10_for_a_and_b_small_enough_for_dp-09.in data/secret/127-random_with_lim_10_for_a_and_b_small_enough_for_dp-09.ans
32900 data/secret/010-min.in data/secret/010-min.ans
32900 data/secret/073-planted-large-15.in data/secret/073-planted-large-15.ans
32900 data/secret/102-random_with_lim_10_for_a_and_b-04.in data/secret/102-random_with_lim_10_for_a_and_b-04.ans
32900 data/secret/105-random_with_lim_10_for_a_and_b-07.in data/secret/105-random_with_lim_10_for_a_and_b-07.ans
32900 data/secret/116-random_with_max_constraints_small_enough_for_dp-08.in data/secret/116-random_with_max_constraints_small_enough_for_dp-08.ans
32900 data/secret/050-planted-large-low-h-2.in data/secret/050-planted-large-low-h-2.ans
32900 data/secret/028-planted-small.in data/secret/028-planted-small.ans
32900 data/secret/094-random_with_max_constraints-06.in data/secret/094-random_with_max_constraints-06.ans
32900 data/secret/151-fuzz.in data/secret/151-fuzz.ans
32900 data/secret/098-random_with_max_constraints-10.in data/secret/098-random_with_max_constraints-10.ans
32900 data/secret/115-random_with_max_constraints_small_enough_for_dp-07.in data/secret/115-random_with_max_constraints_small_enough_for_dp-07.ans