Proof code for 2020-05-05.

The code for 2020-05-05 is 2e9250dd-7ee1-45fd-ad51-1307fddfae9c.