Times are the exchange's own published sessions and holiday calendar. A shortened trading day (early close) is shown as such, not as a full holiday.