Proof code for 2025-05-21.

The code for 2025-05-21 is 8d186255-89fb-4bdf-a80a-50168a071382.