Proof code for 2020-08-25.

The code for 2020-08-25 is 8683fd04-6f42-42ab-bbd6-3cff6a5e2d5d.