Proof code for 2020-08-03.

The code for 2020-08-03 is 0eaa35d3-368c-4495-bfc9-5a6ebaddf101.