Proof code for 2020-06-30.

The code for 2020-06-30 is 157eee24-1812-4edc-93d9-e20346a01db3.