Proof code for 2021-08-26.

The code for 2021-08-26 is 3f26e1d0-2b22-4c03-8ebe-6effad9fa65f.