Proof code for 2020-09-29.

The code for 2020-09-29 is 1cd3c98d-0d15-470b-b407-db5a4f12db00.