Proof code for 2020-05-30.

The code for 2020-05-30 is bdc1cbba-e258-45cb-8fdb-828ace6e74a6.