Proof code for 2024-07-20.

The code for 2024-07-20 is 5d4bdc96-406d-42be-bfaf-157a7a3c5a8b.