Proof code for 2020-05-25.

The code for 2020-05-25 is 37d947ba-6125-4ca9-b42f-46f989007cb7.