Proof code for 2022-05-23.

The code for 2022-05-23 is d4d8b4f5-966b-403b-9f7c-b497ef2dc601.