Famous computers, real and fictional: 10 questions

1. What is the name of the computer that, in the UK, traditionally picks winning Premium Bonds?
2. It is well-known that the computer in the book and film 2001: A Space Odyssey is called Hal. But what model number comes after Hal's name?