9001f5e119bd868db95430d50ce052b219dcfa70c093b103577632b7e41f185c  CITATION.bib
fb07b743ae8a52ad819867f6034c16c724f621bfbd6aafe85ba2113316cf82b0  MANIFEST.json
1e541237643b6c98d4b0e8641b441b71d6acc25f3eaa089f09d78e8266c104d5  README.md
43df4cb4a35e394154b108686059fc15547edc3e0051b2ee9bd49398be3b508c  main.pdf
eecf765ee394e71b7a021cae3de4d0be957befd433663d2a241421a4e63c1ca6  main.tex
4cef508304e84c21f73cf412712165dc26e40978cb784bc08a876948b559d90d  requirements.txt
d215ceae7387c6b7ff96c5828820f4d567edd3c7754034dc5018c4b914562f12  verify_compensated_means.py
a77e8ea44c5957d39c702bdc3b4e51d1a05e93d184fe72b21d9adf61c60cbd64  verify_dual.py
aa99f28aebcb18ba0a1a6ec8828df8b970456437603e1cd92f2394c420eb1678  verify_gcd_tail.py
f6a2d690c75483b5785b01b75db170b68c5c402abef20710d9d4efdb14111b37  verify_joint_certificate.py
299ebcaf54ce0580bc2af0f0722a4cc7aa0571392c7771a6558e808877870e7e  verify_null_certificates.py
03adf6569ba8dad1ae8f520197570d01dad7d2ca7deec174c5a3681d0da62398  verify_tail_capacity.py
