Proof code for 2025-11-20.

The code for 2025-11-20 is 9b28d220-cf6f-40d2-816b-86be582b78d5.