Proof code for 2020-04-11.

The code for 2020-04-11 is 9b5b0440-5ffc-498f-a30d-647f5e3488f6.