Proof code for 2025-07-25.

The code for 2025-07-25 is 1af9d7b6-1d9d-4df3-9366-5232ff8ed118.