Proof code for 2020-12-05.

The code for 2020-12-05 is d0d0efa4-edbe-49c6-98d2-6ea40ddd8f61.