Proof code for 2020-08-15.

The code for 2020-08-15 is 44ed47d2-5a6a-4a58-9947-07cc4a1ba8f7.