Proof code for 2025-07-20.

The code for 2025-07-20 is 4bf9b5e6-fa5e-46f4-bb97-28b623ab1303.