$25 billion for the Colossus 2 supercomputer