Proof code for 2025-09-26.

The code for 2025-09-26 is e13e98de-bdd9-4e4c-8e4b-d5cef80201e9.