Proof code for 2020-12-03.

The code for 2020-12-03 is 22aae4a9-2656-4280-b652-9930e897870c.