We restarted the computer twice, but each time PLC3 would not run. All the terminals were in OP and the IOC had started correctly both times. We ended up having to open PLC3, login and start it manually. When TJ did so he said that it reported that the program had changed and asked whether to download the new program. I had him say yes.