Proof code for 2025-05-20.

The code for 2025-05-20 is b0907e23-2347-449e-a1b2-b93d1f61cf0a.