a0b65a62937486813884b5bbc9fb36a2bb6da42850a898126eddaecd5aaa0fa2  lean/Erdos108.lean
e4a312c3cab6d892e572a213c5300b176064a1c4ece7e3df93278572a61d57cf  paper/proof.pdf
