Proof code for 2021-07-01.

The code for 2021-07-01 is f7e0e852-21b8-41be-9c54-776158cb0a10.