Proof code for 2020-11-27.

The code for 2020-11-27 is 6136e9ae-8a4f-4513-a4d1-3e6f6a2595de.