Proof code for 2025-07-26.

The code for 2025-07-26 is 79483420-79bc-4c20-96d0-7b3fad52dca8.