Proof code for 2021-01-11.

The code for 2021-01-11 is 64db52d8-e5c9-4ecc-bde2-68c041cf719c.