dcd0d02171c58a341ee4ff639c2f4f84ba304f31a6c65616643610701cd8680b  battery_552.py
6dba578e09e1733508ed999af50035afcd33367d06537ade7ddcbc16ced8595e  battery_552_output.txt
538aaa86aadc6613b7d140bea68416db06b90eff5ac5ad0a21f2e4e11059168f  claim-ledger.json
cb194b6d3bf7b2ad5f271254afeba80ab3cc4df7d19397c6d5ed61b831982417  f85_from_ramsey.py
b5a48655d866901dd2cd39d9098b0a2f5eaca0d6d526e15ad0e6d207c6511c1c  f85_from_ramsey_output.txt
43bee8b24a2cf66dcdca72c7ccc63ace0e938ab9a89f9ffed17d8f685db99802  index.html
3ca7c312a7995ecef846ab3206c9d75a5af4ff81d28ee8db1b5cb3cad6c0a1a2  lean/Erdos.lean
48d6293771ee532d7e079904798f1bfb7f93e81614bf0011cc5c7290f55ea350  lean/Erdos/Erdos552.lean
f15bca5a5e3ece93087d392ee0ab711abe02aaaca9f4373932d7c37c8885443a  lean/Erdos/Ramsey.lean
f3d6923bafaef328d3f40ac39d7e4a6cc362dd24cfa39047cd351add6c64986d  lean/README.md
960ae5fd7d27899fe29dcfd89c066b46a5b220e77afc613f1a63466991aa4397  lean/lake-manifest.json
62cb945fa971f8c602e9f0ce8b7b5ad22fa47ed6d8260804342aac9650400c04  lean/lakefile.toml
3aac669c7a910ec2389f4e4f921b605adf6ebf2d1e0c9b9cd0be4d33f3f5db71  lean/lean-toolchain
6a06d0e30a828ee0faf92c22ede9bd68e4a70ae573ad21ae44bb3d43e3603ee7  witness_f85.py
db2586c7952dd086a6a0e8e50298aac19ece1ff6998b3839d62c2f39f0062ef1  witness_f85_output.txt
6fdeeacee2b883fd21cb01ab913488a7ea5b9120b2d579d628b94c2a5bddcde3  witness_n15_k4.json