Proof code for 2025-07-21.

The code for 2025-07-21 is 19caf69d-721c-4dc2-96aa-3be10660a3e7.