Proof code for 2022-07-21.

The code for 2022-07-21 is a502ec5c-a1ef-48e2-9810-e4addcb70162.