3d8e89c80884d81fe89178fbd40a4ee44902969756bf61072421dc604fdb8817  paper/proof.pdf
d445f7ec23d57a36ea4402c11eb8cc65fd6fd18ca1d6192e17f41cc359ea308c  lean/erdos96.lean
