9e3e8250ff67ff6ba9ad51e8823de7997440edb750a0ee1400c0d9c01f609ac6  COUNTEREXAMPLE_CERTIFICATE.md
29bc4d9e43fcf0af4fb6dd753ac4e2d177eab71ceb4e6a5a083bc4019d0efef6  README.md
a44282cea4273706c7ff6ede362688b3f281d71cf137f3efb8a61b2716ab1e8d  run_one_bit_checks.sh
fccf3f2ccc5265389187c91fc3521f87b7455ffd8e9356342e4b792275444cfd  run_two_bit_checks.sh
fcec0d93439666255162269ff5a6842909b5a6828a7235dcef3b508798707f4d  two_bit_7_rerun.out
fcec0d93439666255162269ff5a6842909b5a6828a7235dcef3b508798707f4d  two_bit_7_verified.out
cc899f6b779f336865c4416dabb82955d2a1522373c62a5590ba340ff8e3b633  two_bit_height2_exhaustive.cpp
c1113c9db6123bc51c71a6e7665fb7c6e8291b1165d0da7593f9ea17b49d6708  two_bit_n1_rerun.out
fc6b6925ad884bc5a12a6ffbf4d458945699a5788290091003de2ee75a0549d8  two_bit_n2_rerun.out
5b2c7efe8ef26e75ba641488af4d0a394eb6cb2a235ec36a52791bf0c65d8cb6  two_bit_n3_rerun.out
3971cfdf6aac676f4d2c09d93410fd4b3600307d06fc08adbf2ac93af53c03aa  two_bit_n4_rerun.out
59343b47a00d6f7863969a8fe61a8711b7d0ea860f01200abc6f5dfd4a6d27e9  two_bit_n5_fast.out
59343b47a00d6f7863969a8fe61a8711b7d0ea860f01200abc6f5dfd4a6d27e9  two_bit_n5_rerun.out
35aee0c8fe639eac709ffb1ab453bf74500d234256aa1163bc6e4e5938a7a1d5  two_bit_n6_fast.out
35aee0c8fe639eac709ffb1ab453bf74500d234256aa1163bc6e4e5938a7a1d5  two_bit_n6_rerun.out
c13d45cfa588409ba37d4edfae01feafb9523e1c224e58197bd9f6cc43008a14  verify_homotopy_preserving_observations.py
a131bed89f3847bc61be2cf1a2336273148f4f6b68979480f3fdfbda959d859f  verify_homotopy_preserving_observations_rerun.out
6532c03559d05ff9cf2f7e7e1aba1ce079d45712522b076d20a9b52137913d59  verify_refinement_subclasses.py
cf6dd63c9821331bc56014b99ecd5463c6fbc8fa6c922f133211c4db2329cc03  verify_refinement_subclasses_rerun.out
c4f77c451ae8489a5fd517ecacaa8288235c2674d48c2f955805cd215fd0e49e  verify_repair_forest_theorem.py
f944502215d09eee06a33347bccd48ad7a90d24fd3ac408bb6013c83ee728a28  verify_repair_forest_theorem_original.py
51630fb7490862209364b9362e8d281820bc202036a71b1ce1c739abd17136fb  verify_repair_forest_theorem_portable_rerun.out
51630fb7490862209364b9362e8d281820bc202036a71b1ce1c739abd17136fb  verify_repair_forest_theorem_rerun.out
40bd6869657efd11ec98f8b740305550c66506c2fa129050cb1d5d9c4a8528db  verify_two_bit_height_two_counterexample.py
