Proof code for 2025-08-18.

The code for 2025-08-18 is 3e4c0a1a-fb31-48f9-8100-9137604e5070.