https://twitter.com/lhf55472946/status/1591863287523966976
"The main computer is a HP 1000 A series running RTE operating system. I even found the computer on eBay! Mystery solved!
But according to eBay image the computer should contain the system disk. So it's possible the original disk was broken so they used the HPIB one instead."

なるほどですね