Proof code for 2022-07-18.

The code for 2022-07-18 is 5ac2a088-6d9c-45cb-97cf-1c32aacf4574.