Proof code for 2020-12-07.

The code for 2020-12-07 is 411dc45a-2c80-45e6-a394-3c26b0effa3e.