Proof code for 2020-07-20.

The code for 2020-07-20 is 06a02960-a869-4cf9-b860-68f2885c8ee6.