16cd3c2160ce2a8bc5417019a3bca59d  AUDIT_REQUEST.md
087bff085d5d33e3c21387862c95b44f  CLAIMS.md
b040e7de0656a86801a60a00e76c2fd1  MAIN_RESULT_K4.pdf
093d3b68f66a3278b82ebbe02cd463ae  MAIN_RESULT_K4.tex
f66290ea201f661e6234c74dc47ebfd1  MIRROR_STAMP.txt
8fb53b29f5883d373a9fdb7700022b98  NOTES_FOR_TEAM.md
079490018c9e4bfe0e6764bebbfc8c99  check_tilings_all.txt
1c1f50c513f186eca1dad80a3130744e  k4_runs_table.tex
