Proof code for 2020-08-13.

The code for 2020-08-13 is 8372bfdd-3be5-416d-840b-7c4ef2ba2584.