Proof code for 2020-03-01.

The code for 2020-03-01 is ef16a3ed-4f9b-4b96-956d-a4df38462b94.