225e973cb92dace1957f07ff16c081a571b0346e10365f8f40380a11d3ea52be  ./README.txt
e3c3c738603e1ae8328b96e09dda53b24c5840f90cab3c1de07466318173ea1b  ./RUN.txt
6305382476a8563337d8feab10dd4f9c0af47dbb1861bd70e7b0c2a4706b1ac7  ./proof/later-boundary-roadmap.md
80bca6eef5cc2c60115b57aee595a35d02c9bbc04aba58c1d28dafd5a94820a6  ./proof/two-step-and-tree-record.md
3f6e5f798c5aa2f241586b8a5fc06b67a9fc45ee201c78233ba9fc96965c421c  ./reproduction/Cargo.lock
ec11f8f60ca10f2474c3c13ade97e8b7de87a472b5b0b42445243fb2599d8209  ./reproduction/Cargo.toml
1898a819eb601519b5749abad0c322adadd02ce31b63c2ea76b3f44334a18753  ./reproduction/src/bin/converse_verify.rs
55c28e21f03751004c1b437015db2d53d1a8d96c43ec365c3903c266268e0bca  ./reproduction/src/bin/dist3_limit.rs
a2ea0197f3c33bde4f3bc06a5739d361548def4b7b3863fd0033dff193df73f2  ./reproduction/src/bin/dmin2_detail.rs
1b0d2b73f5ef48bb9f0bb91dd7411314a1c9a66d602128ea7e105acda92bc365  ./reproduction/src/bin/m3_verify_n8.rs
a3d31bf722bf921b89f9d6d7e4420e735180671ad9a1ecf637e98f280b5ebb7b  ./reproduction/src/bin/tau_bounded_verify.rs
5f31694d6b243737fb8aa3b9bdde56d4c770dd52b9c559be384ed37208ddc774  ./reproduction/src/bin/weighted_filter_verify.rs
ce877401bc7ea4c01f385b5184f7163b98a7b7358e10a022572acf8e227f9367  ./reproduction/src/canonical_math.rs
1a9510fc509852f709aaa81922e35f65401b65911743b22c636a437293864213  ./reproduction/src/entropy_exact.rs
5e3d3801671d71b422735560bd2bf8bb5f60bac58b56b23d43aacbd0e9a116cd  ./reproduction/src/lib.rs
f93399b1f8de1c05b2a7bfa717e1b322edfe78f07d8983144adeaed48dd4d09f  ./reproduction/src/types.rs
5dd624cba710c071b21fafece4b961d14b24a7c1aa5d85e8f9875e54b60b9454  ./results/EXPECTED-RESULTS.txt
6db2ccdf6f14b7b347f6eef063aec4ba4dadfe364ca7f3581d0cd0738d53783b  ./source/lemma2_verify.rs
8c67557fabd9582eea5c29e5906c9aedfaaf59b48a803b8dc69a6dbc43b5c262  ./source/m5_max_edge.rs
