Proof code for 2019-12-13.

The code for 2019-12-13 is 4e2e74e7-d3b3-41c6-9514-a9eedba99743.