Proof code for 2021-01-02.

The code for 2021-01-02 is 0bc25651-9bd4-42e7-b662-3047dc3545c9.