8109066451aaf31bb1773fe8c0da964d18a2b9150e3e460b36379a0fe90c16c9  ./README.log
63b3a9f0ae573cbcd9d6230083d57b51e89563f83ee8826e6ee1cb613e5e1324  ./add_exactA.py
34246a1ca189cb3eef9e5f995d2a2eba9daf1fae92785af5c8854d597376bbb7  ./add_exactB.py
c1255da5c1558b7290f22739af2ca83ae9ced6ac6330e0153a6bffe4cd36bd65  ./add_symB.py
386dfe72761312a8776798bce0128c3d050bfd05e16486058ae76445c15fdb0a  ./add_type.py
2bcd77ad564f583b041af5ce8bc484d6b91ae1a438013b6b09a05cdb084102f9  ./check_graphs.py
3cc3cf12316ab91510d362bc77a7da2ea4f7b0f7c59060b22e52400b86dbb15f  ./conc.py
7148d6bec8c246dacde0121b517bef7a131e6bb3d61ca3670d48c3cc34a74123  ./coverage_check_canonical.py
6c2d7bf0c57b593dc28bb70aeddabf6ed5e57e4e16300c3cd8d2af05caa498f4  ./coverage_check_unionfind.py
4b42fee8054acd7f1baeb8234d8ac51184939040cd86eff4468831498fecc0d6  ./cubesA.json
b6f88bbeb9d202fb46626949fdf13d10057cd670000048ea6440fd998170fcf9  ./drat_spot_check.py
0ed9faf863a62193da6bd45d809076a05537b1cc6269efd8431120cd8cacf0d1  ./enc_slots.py
5201f9506dee9bfdddb3683833dcba9fa15c6317f87b2ad9188b3d15da0a6a87  ./enc_struct.py
d9e5d958eb5a3a9f31d0448af104c2fd1afa1eb3a111ff8a2734c1ed0fbe27cc  ./falsification_test.py
d7c1edab5c77fe027df62ac390b92ca5c9c5419c723157f9cd110c0946a23dd9  ./formulas_sha256.log
bc3892a66ce41de965aa030992e90b9651139c921ddd48ed6bbe4e6ba928938b  ./globsb.py
33e43280a5c2a2459bbf47898b4020c845840ef47db9188c6ba838f63aa5fd7d  ./hs50.csv
fe8a917a33bad40f2a427d01964654accd4143c038eb30ec7ef41bf6b0a118d9  ./logs_bundle.log
1db8197e0f99bf486612979e69f1c86e13699843a754cef85efec3ce64fb3d83  ./make_formulas.py
f26aee40cca92a4491b94cafb5477b564101596facac5633d6229d3b77e9701a  ./progA.py
e3479ed8189ae962bb3d7ecdfb18ad9f88530b428aef00c6d801237819520e48  ./progA2.py
849966590c962fcb61546de83dbf0f3b90cf9e745bc5d514297a12a04ff6f84b  ./progB.py
c3acf575fff9f66f4189534d2ec21228f9cdc1e26e93d9899e1905444979b1c2  ./redund.py
11a60bd0b5ee9ebb45443aa849e15635ccae81ecbdbea2c2ba88b85007cb8000  ./relax49.csv
68cddbff041913873f1b10babd0c2b4b291deb615842d906ac948fbc38b65183  ./reps39.json
04abdfc75f8f0385b3e64aabe6c3ff227e06c719aca901daa98d2954cb050ced  ./symbreak.py
48c049fb6d961a23bdbd4d58130047eae6f63ceb848671336133e9de8dd29bd9  ./symmetry_check.py
66c69fcbe35f0d41b1ba4b737a342a5d945b2123b6ad580a752d3139e18821b7  ./tri.py
9d3c40ff981ef1dce428cae098ced0f267b27d27c24fd6d374ea5fb9705b6790  ./unpack_logs.py
ce7f76b7cb42f588f051a23800fd17f831489bb964dc362279d9d79142ba36c1  ./verify_logs.py
6484ef041055799226d6ee39ded9b36a4d5239714445a1c9658502897d5c2bfc  ./w48.csv
9d28a8995d2a73a399d82171e90ab751f0ff9ca79a787ee9602fd5fcdc8dbdcc  ./w48_cayley.py