Proof code for 2022-07-17.

The code for 2022-07-17 is b5d7aa77-2d7a-4aeb-b58f-da9e2a0d3efd.