Proof code for 2025-03-21.

The code for 2025-03-21 is ca0b9638-98de-4cd4-9e38-908cffe4df28.