Proof code for 2026-04-13.

The code for 2026-04-13 is 97d44809-118d-4198-aa83-875309a1eae3.