Proof code for 2020-08-21.

The code for 2020-08-21 is 47a49ae1-18ac-4bcb-a66b-8c43f859fdc6.