Proof code for 2021-09-01.

The code for 2021-09-01 is f2a7eea7-dccf-441c-bcb3-8a49b23b2314.