Proof code for 2022-07-23.

The code for 2022-07-23 is d54f1c4f-7dfa-4b12-9ffe-d939b10a4ff9.