Proof code for 2019-11-27.

The code for 2019-11-27 is b69b4bdb-2bc4-4e35-9b74-4a579ab725f7.