Proof code for 2022-04-14.

The code for 2022-04-14 is d2e4c3c6-7347-4aeb-872e-e1e3ebff9a67.