Proof code for 2021-11-17.

The code for 2021-11-17 is 35980656-da7b-4a88-93c2-21f0f36ee71f.