Proof code for 2019-08-06.

The code for 2019-08-06 is 8ecb7c7b-7b12-490f-ad0d-8ada46f40bd3.