Proof code for 2020-03-31.

The code for 2020-03-31 is 6eaffc54-03c3-4e45-8ea8-86ae81218bfd.