Proof code for 2025-09-13.

The code for 2025-09-13 is badfded1-ca0b-4c73-a49f-1ebd0c65ae01.