Proof code for 2019-12-07.

The code for 2019-12-07 is 79a58354-d66b-4c9d-8a75-5a54c45aded6.