b480eb166fd8238f066b2d4bf0b5a84320be6a8e6db04d112883580f9ee18a1f  main.pdf
d4bbb6b3d8dc9792356a51c1968d7a5dcdb1fe6b239b032ba056063365b02308  main.tex
88b05e572c7dc2bdaf1f49807ce96a2f1f50e9fe86aed80aae36ea7175f909f9  README.md
4cef508304e84c21f73cf412712165dc26e40978cb784bc08a876948b559d90d  requirements.txt
93147b0bb0174b902c47dd70c8161f2b9a2246d145ea14539f0b6830fbeafe9b  CITATION.bib
a77e8ea44c5957d39c702bdc3b4e51d1a05e93d184fe72b21d9adf61c60cbd64  verify_dual.py
299ebcaf54ce0580bc2af0f0722a4cc7aa0571392c7771a6558e808877870e7e  verify_null_certificates.py
aa99f28aebcb18ba0a1a6ec8828df8b970456437603e1cd92f2394c420eb1678  verify_gcd_tail.py
03adf6569ba8dad1ae8f520197570d01dad7d2ca7deec174c5a3681d0da62398  verify_tail_capacity.py
9d61868cdb6d1a9002fb6b3da97c79f34d41d1e3799a3f2b83943eaafc6702df  MANIFEST.json
