Proof code for 2022-05-20.

The code for 2022-05-20 is 12c166f7-1d11-4eed-90d4-2086869a58f1.