Proof code for 2022-07-19.

The code for 2022-07-19 is 9b5b0118-4d50-43c5-9868-3da86d0684fb.