Proof code for 2019-11-20.

The code for 2019-11-20 is 1db72298-7f22-4318-a967-fd2a523cf955.