Proof code for 2020-11-25.

The code for 2020-11-25 is 0a4fbe2d-9367-4af0-b082-49eea67279b2.