Proof code for 2019-11-19.

The code for 2019-11-19 is 0f72a633-f7c4-4ea1-bcbf-f100020acfaa.