Proof code for 2022-11-20.

The code for 2022-11-20 is ed5c9774-e93e-4bb6-8e15-1d5108a98a68.