fe79afc1b95934837ae3ee56014c9f702b438c0eeb8af390446623273cf06fb5  README_SUBMISSION.md
1ebe9863493d211ab09c5b38b92f24fbd0e61b847f84ac1ac517b3715e598ef9  README_REPRODUCIBILITY.md
aad0e8b4e47bba9240ecf976fef823891a504bb2c2ff46ce6e47d52e827bbc30  Dockerfile
00a5e4a66d77375f7d1e5fd7b726f5a9c62dafe146a83644cc3c83e8949ba27f  .dockerignore
f5652fa24cd09f5b2767005795858e9a12b7901f42adb6ba4f806d8bd87ef70a  environment.yml
5aa65b59186a3f663b85bd03ae40d3f9008f507f00c1b0e90930db32fabb4cee  requirements.txt
7a12fa0dad7bad544a55138b423e53ae3d1d861748ed1de5e5c86ca82d16a0b0  run_all_proof_checks.sh
c3670c8bdbf01237a4095ad9c5f177a5800bb9f9749a3bd14980507c2ded0e24  run_all_submission_checks.sh
d39e091a23aaddc455763f985fa771febe263f8fcc96aabc98a0f9d3084604ea  emc4_mathematical_programming_submission.tex
849b2079598393b4557b0dd7231c330b81d716a82d5b12a2a60bdb138c7d7847  emc4_mathematical_programming_submission.pdf
f9698b13408df306286bddf4ba2d42576166dd3e482a900063384d02bd77bf17  matching.bib
2ec337423821d2f63b22a6e16a4c417216603eb74910c7864f03dd3c0f6ee452  threshold/verify_r4_explicit_threshold.py
a91c948d51ee234aed73f0440be4451ed31fa824a2a9ab0719b341eb6cee382c  certificate_bundle/README.md
5aa65b59186a3f663b85bd03ae40d3f9008f507f00c1b0e90930db32fabb4cee  certificate_bundle/requirements.txt
ec756e45c80f89921c2973bd456a028cbcb2c2749c931e8aa671bdb755c8031a  certificate_bundle/run_all_checks.sh
4fa4eba79392c3258e21c35e91f4ab0b7f19200935632bc7125cb868b6914ae6  certificate_bundle/no_topstar_exact/verify_no_topstar_exact_threshold_fast.py
b0cde29ef571e8f9ceab1543e172776d15097079bfd0b5b875828d9752c34627  certificate_bundle/no_topstar_exact/verify_no_topstar_exact_threshold_certificate.py
08a9965b20b45e631a6b167f30f6de207f71e33444a3a6a760de528a88915c5c  certificate_bundle/SHA256SUMS_RELEASE.txt
02a7c3edf29411e8c8197906da739f18c844ff19fa38fc9980ae47ff55463dd7  certificate_bundle/SHA256SUMS_LOGS.txt
