Proof code for 2020-07-25.

The code for 2020-07-25 is 0b716d7d-e8f2-4e9c-81df-1c0ffbc452de.