Proof code for 2020-11-24.

The code for 2020-11-24 is 6a03ef3a-0e48-4400-ad17-56837955b69b.