83cc59f753137bf7fb72b4e40f7460dd7ade0d1ed71d5ccd877187ffd39fbf6c  manuscript.md
6f1ee50eb67ce2960d07e12559e7745b845919211eb548f3a4a7129bba192e61  effective-computability.tex
52922070eae2e05dd6f1a7a7b9ab42fc3ea1dacb449ee5503fab6fd528c83501  effective-computability.pdf
cc5e2dd8dfe92b02250029ecaa2f9ef03d9dfc6490b65fc0d16292f9cbdccdce  header.tex
74cbb0d5d54872ec355258b1912549eb401f085eff8009b848a8b55f5d2cdc9c  README.md
f9762273d39ebe268dd2683a0ab5beddc569bf10e7e0e25a3ddc5f8bb18103d4  proof-audit.md
9557feef85ea5af835d32b0f4fa0a15e3299945155b5db170e1683171cf15ce0  checks/verify.py
fc9021dc74ba079819abccc68bcb77e8e6cda0fe098455a55421117bf56c70c9  checks/report.json
7431b7fe4c8566ece1128761bd865bc46189c38d20d1487276ddf908dc735d0a  submission.json
