Proof code for 2020-01-02.

The code for 2020-01-02 is a34e8570-9df4-4844-b3d7-f5ae693c62ee.