Proof code for 2020-01-25.

The code for 2020-01-25 is 1ac7b798-5f1c-4282-b66b-025ea968a759.