77e311d97357f98fc33db89ddd63ca6fc3fc5c610bf90075cd9dc1077922ecb8  paper/proof.pdf
b89b43ce3470e9a3c51164f58f401a038260b0493e167fb6d8a5cf608bffd630  lean/erdos944.lean
