As reported to the FAA. Reports are unverified, and codes are left as the FAA publishes them.
What was found
AIRCRAFT WAS GROUNDED: AN EMERGENCY WAS NOT DECLARED DUE TO: FIRST OFFICER FMC LOCKED UP AT TOP OF CLIMB; AIRCRAFT DIVERTED TO AND LANDED SAFELY AT JFK. REMOVE AND REPLACED IOM M009 LEFT, AIMS SOFTWARE CHECK AND LOADED PER AMM 31-41-11. OPERTIONAL CHECK GOOD. PER AMM 34-61-00.