Proof code for 2021-06-03.

The code for 2021-06-03 is ebc28488-af98-445e-b68b-334d08d99e62.