e6e4ad3d17ed73ba6e04dfe3d3deafe92b1f055ab9e281148dc47a87b763b20c  paper/proof.pdf
eddeff2c83de970aab5390fb0684a147712897ef4ed2e8b9cf755d4631152388  lean/Green47-COUNTEREXAMPLE-UPLOAD.lean
