Proof code for 2025-05-26.

The code for 2025-05-26 is c0b14135-e0c7-44b0-8bcc-69ae288485db.