Proof code for 2020-12-25.

The code for 2020-12-25 is d244f6db-30c4-4ef0-bf4e-ed4f61540a5b.