Proof code for 2020-11-12.

The code for 2020-11-12 is 76cfbbb0-c39e-41f3-b7cc-5cb3e1949ce2.