Proof code for 2020-01-29.

The code for 2020-01-29 is 5aad08e2-ef1a-4afa-8498-1e8a2b3a0571.