Proof code for 2021-07-13.

The code for 2021-07-13 is 1efd1da0-9d6a-4d23-9776-d6636fd2e91e.