b8b5a37349fcbc3d1fa89842ea67b6798dcb58a256998bb6c5064f3a499a7097  paper/proof.pdf
e65c98a926ce4eca5df30277790c8b3dbcc630074ceaa24a551464951b3d2826  lean/Erdos196.lean
