Proof code for 2020-08-01.

The code for 2020-08-01 is ec991e79-7d0d-4ad2-89b1-7389c2a4009e.