Proof code for 2019-08-25.

The code for 2019-08-25 is dcb75053-7904-47b6-b19f-8fc43e6d8a74.