Proof code for 2020-05-20.

The code for 2020-05-20 is d8a48ffd-ab86-422b-9d92-1d5d20625274.