Proof code for 2020-09-06.

The code for 2020-09-06 is 5a35e598-8bd7-4748-9b3d-3fead1755c19.