Proof code for 2019-12-03.

The code for 2019-12-03 is 40696373-ee86-4b65-9657-6ab5e1a67990.