Proof code for 2020-12-21.

The code for 2020-12-21 is 38ab895d-da2a-4587-9ab8-86e3f4f4593d.