Proof code for 2025-04-19.

The code for 2025-04-19 is 7c52b920-a635-4b6d-8ac4-14ae112b03f2.