Proof code for 2020-12-29.

The code for 2020-12-29 is 222c0196-042d-49a8-8a29-3181996f8cf7.