Proof code for 2020-07-05.

The code for 2020-07-05 is a7ae8ce1-f45b-4cf4-a6f3-6e5dda4fb1ab.