Proof code for 2019-09-30.

The code for 2019-09-30 is 8936023c-745b-4585-9292-d99eedcbbf3e.