Proof code for 2019-11-25.

The code for 2019-11-25 is e9ca3cfe-53f8-4f4b-9acd-d4bbc5f91a7b.