Proof code for 2022-07-13.

The code for 2022-07-13 is 5b26e63b-0110-4834-8085-0c7a9665608f.