Proof code for 2020-12-01.

The code for 2020-12-01 is 96b397c6-7304-4fde-a022-af2a84938140.