Proof code for 2019-08-12.

The code for 2019-08-12 is a532cc3e-a7c8-404e-85d4-9cce61eb1e3b.