Proof code for 2020-03-24.

The code for 2020-03-24 is 0c9c9d93-37d8-4f20-95ff-0586c679a08f.