Proof code for 2020-12-24.

The code for 2020-12-24 is 866476c2-31df-4034-af76-9e5459c5d5ea.