Proof code for 2020-07-24.

The code for 2020-07-24 is 504679e6-28a4-40a6-b081-63da15b95cf8.