Proof code for 2019-12-31.

The code for 2019-12-31 is 5357b190-8fb5-4d1d-bceb-fd0dd9f41df1.