3e5efb767944ee025114a02188e754fd80322b08d39bcb012295d64720225c6c  MEASUREMENTS.csv
5b89c774b6018e8e497b2ba7b56f3197f1e887a05f3be94ce7c346be1c4ab0d2  PROOF.json
6862516aa3ee804637330a91c34588c61d59e72fc5bee65d2b9e2c2be722665f  REPORT.md
77ed1bec358822a6578770ff1740adc1f2a8001f7df65321d3d03292683e7377  VERIFY.py