Proof code for 2020-08-16.

The code for 2020-08-16 is 499dbd61-c702-4ebb-9c28-0e4954600a37.