Proof code for 2020-03-20.

The code for 2020-03-20 is 09588ee1-ce1c-44b5-a7cc-6ecd01f3503b.