Proof code for 2022-05-25.

The code for 2022-05-25 is ac3f0dd5-3c40-42c6-9eec-d9d4e4f2126e.