Proof code for 2020-04-26.

The code for 2020-04-26 is 2e07f522-ca9a-4e40-a70c-d086741ba5ea.