Proof code for 2025-06-17.

The code for 2025-06-17 is b8c43b53-5c6b-4fd5-8c10-da0e7d849fb5.