Nasdaq resumes trading at 1:12 PM ET

Valid market news retained in the public archive without immediate LiveCast distribution.