Proof code for 2020-04-03.

The code for 2020-04-03 is 6fa5b329-63d0-478e-86cb-7ba04a1524e9.