Proof code for 2022-01-19.

The code for 2022-01-19 is ea93cbda-6218-4f37-88a2-a1153f26bee8.