95b9852608f12f752588293594c3387377164f1997a88a0699240dd09f5aaf06  paper/proof.pdf
c27ba01ca1195ebbec6a30b3166adee83977793acf744d64783b6a94db318ba5  lean/Green15.lean
