Proof code for 2020-11-26.

The code for 2020-11-26 is 1523726b-7fee-410f-ade2-8f8665cb7978.