Proof code for 2026-07-21.

The code for 2026-07-21 is 1fd87212-c936-4ae5-9730-084409a96bff.