4f9a4337c5b603c76fdd118024a0d5f69f1ead88839b35c78f22cca8a05bbacc  paper/proof.pdf
496840684dd5dc4f0747bf4732ee4fe246340353f8a11aae00bde325fa100ca5  lean/Erdos14_PartI.lean
188ebf8bdf3a04694155ddf3e2d87c64f53d545781cfda7b63e21d6b1434cd74  lean/Erdos14_PartII_Counterexample.lean
