afb0afb736f0bd65b5d1d66112160bb2497a1356d177b0857d248d43f1ccf9ec  attack_295.py
ad50b838cec8322c4d11e178a0c7033a3761291d6e825bbd04813393c3d313ca  attack_295_output.txt
66fbab96c18417d9689e2ca32d311f1862ac383613155263750c4269bee15c9d  battery_290.py
e8ea488774de9d924959431f789fae922fb8b813782b467b10c4c30250aa07c4  battery_290_output.txt
43638379f8bfaf992deb8caecf0a071bfa05bf32b2e479d2de85c9178eeb2f79  claim-ledger.json
87dfe3121305067fc01b9ef07439455ff5bb4e1f8f51a71ca5d1e1d52302201b  independent_check_284_290.py
1066806e6aeae493b7d7fc2dddc4a67f52cbae23845b7d7cad815bce5f53d081  independent_check_284_290_output.txt
c123779d95b94b3f7e4a67f03d9aa0b2430622aec4c88c6e08ca332c11611580  index.html
97bd852887ab512cbba1efcbeebb880836c1587c4d4a6f597089df3881c5aca2  lean/Graffiti.lean
4eac006985d9262e08959aa0eafd420192490b6c3250a863c8d1a51458649cbd  lean/Graffiti/Basic.lean
3a7d1f67b58b1be5b9d4d21d92290ac5a747a157a011bdaa3d61b7a563f0ac35  lean/Graffiti/Graffiti290.lean
ab962e359dca7f51af6953c7918f8bfd4ceb1125c0c43da0069455a9d246a7ca  lean/Graffiti/Graffiti292.lean
3ef5a77c7840e9c2b3c7cc8d8118ecf17d768129d8cd27f6ed5ed8548cf62e53  lean/Graffiti/Gravity.lean
805a2abfbb787ebbf70d9d72d5bf1327a76fd32f8804af2977a013599fbed4e8  lean/README.md
4913126d4f2a7a8cef8bd6edce15c68d719d945db66f32636e659ac1e0fc9c20  lean/lake-manifest.json
f700069724d4840b0a4e81e16ec58b6e44d93d2b8dea423a00bdc845060c530a  lean/lakefile.toml
3aac669c7a910ec2389f4e4f921b605adf6ebf2d1e0c9b9cd0be4d33f3f5db71  lean/lean-toolchain
2a1119edcad1b83abf346431dc23fb3cec8570a62b1cd750a02097c441716de0  manuscript-graffiti-290.md
45fd5975e739f9e848fa4df8aee6c56f15542f63100b4d509034f02f16916d28  verify_290_small_cases.py
1b6a19b1d4d82f61e535f0d8e2cb86be962625042f9b6ba61c174ca9f107696e  verify_290_small_cases_output.txt
23bf82d12714d9facae8459f1df4bff72ba476f7558023063f67ea5ff176311f  verify_290_symbolic.py
56fe1a717d405c0ba32344d5c0d813c931f2e3f30ea901e9609d4096c02d49d9  verify_290_symbolic_output.txt
c77973a9008903bd722f12ca73254d34937ab4018c68f8ba72afed450233f4b2  wow-p79-bot.png
f82862f689a4283dabd8f5243576dc70457ea291885407e31b50b5b5fe747947  wow-p80-top.png