Proof code for 2019-08-01.

The code for 2019-08-01 is ef55f076-ae7c-4e1b-ae15-82355ee68f42.