Proof code for 2020-02-01.

The code for 2020-02-01 is 8ba5b4da-4403-4dde-9992-c70c40169829.