Proof code for 2019-11-30.

The code for 2019-11-30 is 99bfb4d4-d81e-4aff-a46a-653e788f511a.