28260d63aa691fa33da95c4290e857c4c32434326ce8f680530604df91a9ad1a  battery_295.py
5df1ddcfacaa8a7a9f6960b69c63de6ccfbe2fb5b41748cf458b76a78e9d219e  battery_295_output.txt
29a8a87f0130593f17992c2e54dc30cd88e0dc37ac069aa64686134043dc886f  claim-ledger.json
5faeaacea7be8c31ea9dfd2dbb05c0753b39eb0d177025971ee727b885520506  index.html
47fbebaaaca930c928b904474a075a938754e9299b7000e41854d6f5aedd3f36  lean/Graffiti.lean
4eac006985d9262e08959aa0eafd420192490b6c3250a863c8d1a51458649cbd  lean/Graffiti/Basic.lean
22922b44114d316374a2b2f5be5014763e4d4ff59016d3443c59591d75b574f8  lean/Graffiti/DistanceMatrix.lean
3a7d1f67b58b1be5b9d4d21d92290ac5a747a157a011bdaa3d61b7a563f0ac35  lean/Graffiti/Graffiti290.lean
ab962e359dca7f51af6953c7918f8bfd4ceb1125c0c43da0069455a9d246a7ca  lean/Graffiti/Graffiti292.lean
6cebb609bb57b7ded54e18adc96eea8651837267e5ef881a4138914951ac149e  lean/Graffiti/Graffiti295.lean
3ef5a77c7840e9c2b3c7cc8d8118ecf17d768129d8cd27f6ed5ed8548cf62e53  lean/Graffiti/Gravity.lean
1ed1abaaca418df477b39367502376dc3b9deefadf49a0878f7388596d9d9b51  lean/README.md
4913126d4f2a7a8cef8bd6edce15c68d719d945db66f32636e659ac1e0fc9c20  lean/lake-manifest.json
f700069724d4840b0a4e81e16ec58b6e44d93d2b8dea423a00bdc845060c530a  lean/lakefile.toml
3aac669c7a910ec2389f4e4f921b605adf6ebf2d1e0c9b9cd0be4d33f3f5db71  lean/lean-toolchain
f82862f689a4283dabd8f5243576dc70457ea291885407e31b50b5b5fe747947  wow-p80-top.png