Proof code for 2019-11-21.

The code for 2019-11-21 is 8b76abc1-2a26-4ae3-8276-677bae7954a3.