8da138ea51c8ad6461a7a9f4bde120c157becea35ce597acf988b366b4b5894a  README.md
ec28ed558aafe175584d11c85bb327da39a302c9f43d29788a4c89f409c8cb18  lowweight-11-3-3.tex
a7285abd77905ad1b312ab5c8663df057112160c33b463e7f3ea0aae4238362e  check_lowweight.py
ab432987b443f0690825915fd74a80a6214b5f658d26ca4fc58efd6a1a585e7c  expected_stdout.txt
e8c6394c2a062520cbc176d577a26022697d2819ebcb12cf5916c25e33dee2ef  requirements.txt
115f994cd191f433821c62e3ece0b02ffb4690d84e4f0a585ea7b5921e250eaf  reproduction.json
15a6160f4c132a3c9b8d8f60d18b3bfd4333def24c32fe44b2408c5cfd0bce2f  INTERNAL_REVIEW.json
3e57fe0e9c59d2e061924951121f6fcf11a1aff9f98a75534149494ec8360587  EVIDENCE.json
