Proof code for 2023-07-19.

The code for 2023-07-19 is 9e3e6f8b-108d-426c-9b7c-3cd7ec26fd0a.