Proof code for 2022-07-25.

The code for 2022-07-25 is 3dcc62fc-2a16-4638-a7b6-3ac7b02a83b4.