Proof code for 2020-03-25.

The code for 2020-03-25 is 969887aa-8d64-4e80-80b8-a00bf0502351.