Proof code for 2020-05-29.

The code for 2020-05-29 is a0ac525b-3e60-4767-9c49-3c44bef00842.