Proof code for 2021-01-19.

The code for 2021-01-19 is 56072ca3-57f2-4d2c-9156-7d09d4588abb.