Proof code for 2025-07-10.

The code for 2025-07-10 is d8af97e1-f415-4b18-8b41-a8b5b607e442.