Proof code for 2020-04-27.

The code for 2020-04-27 is 66259159-65bd-4b66-9266-dfbc8b0790c1.