Proof code for 2020-11-29.

The code for 2020-11-29 is 0881550c-4eab-41ae-abe2-3f3a98b1dcc5.