Proof code for 2019-09-06.

The code for 2019-09-06 is 122937e1-1f6a-49f6-bb4c-4fadaf86f311.