Proof code for 2023-12-04.

The code for 2023-12-04 is 3590596f-1427-47f0-9483-6f38d115b83c.