Proof code for 2020-06-29.

The code for 2020-06-29 is 2fbc2b57-bced-4cf6-ab93-b0fed8eb78c4.