1ab6ba7076ffdc801d8e3860217cbdd6478625bd70199abf867c334f3cec5b38  paper/proof.pdf
b4530570afa53dfbc54e18802833d7eca3914e07c58dc3cdc0523244c08e7376  lean/green51onehalf.lean
