Proof code for 2020-01-14.

The code for 2020-01-14 is 98054b1d-97e8-429b-9a8e-f4a6c6472c1e.