Proof code for 2022-05-21.

The code for 2022-05-21 is bfc30885-f07d-44e9-8f7f-c578bb8fb884.