Proof code for 2020-07-19.

The code for 2020-07-19 is 25077524-7611-4f13-a809-1643100897fb.