Proof code for 2022-06-17.

The code for 2022-06-17 is f22d4eab-2504-4318-8eb4-bc37f4d01dd8.