Proof code for 2021-07-26.

The code for 2021-07-26 is c9cfedbe-f4e4-4ce1-bf72-351037694021.