723bc34647e5bd10bbb44c03251b7858d37f93c4ea9bcaf67ea5e5224c48e371  README.md
f535f1a23ca34aad13836961db149ace3e4ae31361ebc45da49e46d0416da137  RERUN_LOG.txt
87d8c1ef1a352b78dabf2e3bd015948d9d6fcacee6586242eb9f09f0597d7ad3  check_note.py
616f0b332552d545aea150c548bd0bca60316d694a334f5cec50f68c67ec4f1c  check_note_output.txt
e864b6b9f44b61a92f34ad37a6b19c8831b9bf84af62cf6e5f1191ec97ad87a1  independent_run_2/README.md
df081d425a278d170bf15bb708b95e8faed4826db0533491eecad74b2bfe8905  independent_run_2/outputs/r2_box_dfs_K4_M40.txt
8b6c9f2bb79dbf7e7811d947c2806c6dfffb34c5ca0d6bb8fecc8a40788b5f82  independent_run_2/outputs/r2_box_dfs_K5_M36.txt
518060dcececccb18245fb581ecd13e9a68deefc2a546fb7ffd0781013eadc58  independent_run_2/outputs/r2_box_k4_M80.txt
3c7464969953702c8e48446dd0f9e2ee8991ee3009e69fef60fcdf11c62509fb  independent_run_2/outputs/r2_compare_procedure.txt
b7e2d5624ef166fdd7d6a40c32695232c8e699850bbe3ee25dc8856d476230c4  independent_run_2/outputs/r2_forms_exhaustive.txt
54ce993d14b23b3534130a395b109a331577aa7b729202fc75e98a66985dfbe3  independent_run_2/outputs/r2_mutations.txt
ec67fb86a4793f0f59c37feba038b6ba5c38244c6552c8b4a9baea50398c6832  independent_run_2/outputs/r2_run_log.txt
faa2c17147f11eb0b5edf8a6ce5ab4f60ce197b02bc1a1966b688c3349fcf117  independent_run_2/outputs/r2_sets.txt
d299c1188ee754b1d574593763355bb0a1e24e66848cfae472bf8e30753fc164  independent_run_2/outputs/r2_tree_check_N7.txt
b096e66e9021311f18de35fe4d33dee5ba22f517ca04cba9d109cd3e561ee542  independent_run_2/outputs/r2_tree_check_tree_K4_N6.txt
359dbea9c1f1adbbff2d319016b97ef8bcdb67c4b40e8c488435c76632f213a1  independent_run_2/outputs/r2_tree_check_tree_K4_N7_v2nogoods.txt
b89d7c3940bbcdf10aecb92e05d29b0d9a76e6bb4248b7353b684a0d300d25d6  independent_run_2/outputs/r2_tree_check_tree_K4_N8.txt
6f22349aa0be2f1c8d7f157077a79b8de1462f8226d9e6ae0d3319c85ed1bc3f  independent_run_2/outputs/r2_tree_check_tree_K4_N8_v2nogoods.txt
1a57204f004d8cade72a1bbf4cc41d4337ecef9a9d294a12d6cd377f6696a339  independent_run_2/r2_box.c
515743a506ab8c2be5ece25f99ca361e7285c3ad36a1058faa25e197f3168e28  independent_run_2/r2_compare_procedure.py
e6cb5e80d5be4ecf2079471db1dbe4933a9d21cb325a2ca3a58494ef7424e992  independent_run_2/r2_forms_exhaustive.py
d161738a137244e300e4cfd47b1a4fdaba241f670ec762c0123c3c8283a380a7  independent_run_2/r2_mutations.py
1e4e4a364a01259952ad93f7885cc9508f6ca61871e156bf007c9da60830563e  independent_run_2/r2_run_all.sh
d4c65600370a31f87c59c9f860cd444aef4773770ea934687866526b269f49d9  independent_run_2/r2_sets.py
18d7cb0751bc7ef7d584083d0b71d5f33bf3480dfc8aac84c7e1c9c704d47a3c  independent_run_2/r2_tree_check.py
9148710cf3ea8dc805e8e71b83dcb31d46783f61f891d26e252d75262cd003a9  original/outputs/corrupt_tree_test.txt
50c9e33ecbcb04d969f297439449f3efaeed9612938a627b7f83e34dca76bc4d  original/outputs/intbox_K5_M36.txt
2ecb4111c9cedff6cdb6573369ca59b4ea374e468b0c574811e428229ddbe9f8  original/outputs/intbox_K6_M28.txt
e34c84985edd56517e809155f066c42c1bd1a606c78504896b534839a5d1a6e7  original/outputs/lp_search_K5_N14_log.txt
773d4b1704ac9632b33527106c3ff8aa7cde3b358ecae943c2a5b34ab1af7dad  original/outputs/lp_search_K5_N16_log.txt
0595015726d48a0036f4320e002823e8271c7adf7807ef99481d87456a8f6e74  original/outputs/small_checks.txt
82a319f5cc737910e41fd27b9ed3b424ebabe686508d902fc90bfa9e526a8e4a  original/outputs/tree_K4_N6.jsonl
3267b6f35c89c10945f95e226bff366c640652fffbf918c1abfce01e276102f1  original/outputs/tree_K4_N7.jsonl
a6bf62e26411c0088f64fa89dfd0a2a638e3c97fb6aa1d34b1ccdb7d00b0e826  original/outputs/tree_K4_N7_v2nogoods.jsonl
82e58ad20cb84b9815e6ba659b8a2c915a8defd88612491701f34754da0813ae  original/outputs/tree_K4_N8.jsonl
583398c7b2cddf70234d542d976e500c5d08648c21f7b5365380f518d527edab  original/outputs/tree_K4_N8_v2nogoods.jsonl
0b682e176c71ec6418f7bad5edf5b5888051fa0f3b11845fd8d2936151125ee3  original/scripts/check_tree.py
430dcaab6fb7a224c5bf55a402e0595537b3e86469830dd6487b50b0ba15cfe4  original/scripts/corrupt_tree_test.py
97307f7130f4310a4b829d7acddb716bd826583951226e6823d27c093c6cfdfd  original/scripts/dissoc_lp_search.py
a9a86cbc3369ae95c08a9e5c99d403d493394bc8f77d3aa91b9e9fb183b56fba  original/scripts/dissoc_lp_search_v1_no_nogoods.py
495f5b8698af79fc3956c73457a531b20d24068b0e056db87417151ce84e30f5  original/scripts/int_box_dfs.py
6b5e6c6827cf03df910a3070c4286bac8625bc0dce973c58a24af4d10f1ca7d7  original/scripts/small_checks.py
92faabbe4c320b67bd5e6a380a54aa4261e5af15d29589752186e136392e9330  rerun_quick.sh
d408c173970d4df056561b939ae16069b03319d59620b45c81d25afedfcd5123  verification_run_A/outputs/box_K4_M80.txt
1c7b124df062dea9845d7581bbc9688fa0bc6d7643f689f7927adad7cdc63b32  verification_run_A/outputs/box_K5_M36.txt
dedfeaf13e619e371f04750d84e050081e47d5d033d067fbf4a155326f3f9d7f  verification_run_A/outputs/box_K5_M48.txt
507873980a5a42344c72de1703941feacda7fd861d6981cb190a7c1dd0cb99fe  verification_run_A/outputs/box_K5_M60.txt
c382ea5c19d562abd79aaaa32e8d6223cb3201c3b5c666f84350dd46bc887b00  verification_run_A/outputs/box_K6_M28.txt
76cdbe8a0632f597d0ef2ef094d07dd159795fdc773aa2283e3ad25cf2e9db7c  verification_run_A/outputs/out_vA_check_tree.txt
1c4d0c14fda2987db76830f3dcb51f18a0f4d03e9627656e01547a03aef23efc  verification_run_A/outputs/out_vA_forms_K4.txt
cd2fa3be54876897e7a6b60759af8473f88ab2205abdcce2993f55e83533f17a  verification_run_A/outputs/out_vA_forms_crossval.txt
ab267d581545ff10158bc39c9d7414be649feb585d8bf2f48ecc1d700102d9a8  verification_run_A/outputs/out_vA_forms_crossval2.txt
c04f83be005a90cdc45f9e6c5a5fc6485f90002c3ce8b5e07e7ab464f7253ddf  verification_run_A/outputs/out_vA_small.txt
236470fea03136bd1fc15f1f694e3ad8ce5b41362036f5dbb6b8e12337603d86  verification_run_A/programs/vA_box.py
aea3355513fd8b807d0fa36e343427ad3bfb6fc69187574adc1e80bcce1419b4  verification_run_A/programs/vA_check_tree.py
a2856b61f88a1b407bdec13b8f185485e8b223f59c6b08074fad02fa4b73263a  verification_run_A/programs/vA_forms_K4.py
adabdba6429f11fb3a8ea4b36ee13fdf281a821c1728aaeaf5549325c784cd81  verification_run_A/programs/vA_forms_crossval.py
aa0f45d7a2267c99fc3f8c44b27f09cbbab6a9c8b0ca47cf11212c61285f5acd  verification_run_A/programs/vA_forms_crossval2.py
173d44e8825b1964b4cdae14e9f321ebbf4adc50e47e0721441fd06867c6a7e6  verification_run_A/programs/vA_mutate.py
4bc3caff8de015ba76d3bf57ac4175c84670d25086265587fd0dfbe6db3663d8  verification_run_A/programs/vA_small.py
a625381c1142b070b2e85b88cf7d4857bf1466b301ca54d8e9c6f2155209396f  verification_run_B/outputs/own_corrupt_test_output.txt
261377b1197ee8998cab71d6db6966f9de672c2a07eef153ed721a939824fadd  verification_run_B/outputs/own_reduction_check_output.txt
f42aadbda4ac4a0fc5b1464028dfc125a72b7f9190f7e46bcee7104780d5714e  verification_run_B/outputs/own_tree_K3_N3.jsonl
eced919fd7c93044d8412bb835f2a45618d04f46857561caa6339f2d00fdb4b6  verification_run_B/outputs/own_tree_K3_N4.jsonl
8e05241a260e2b33f911b6dfbc2f4ab97f67692980bdb6f67678c025384f8428  verification_run_B/programs/own_corrupt_test.py
c62cd312d0b2a8f50e69d6b8b37cd8c769274ad67311ec7e999afd7d0399b2ba  verification_run_B/programs/own_reduction_check.py
c90aa79cf2ba34db716ad73d7b628e3ddcc21cdcbe51b228cf3f05c97ed695d7  verification_run_B/programs/own_reduction_proof.py
