Proof code for 2020-07-22.

The code for 2020-07-22 is 5ad12e63-d32e-448d-b1a0-2251df64a7c4.