Proof code for 2025-05-17.

The code for 2025-05-17 is bc918380-b4d0-4d86-97f8-90b28873b6c6.