the life of alan turing city of ghosts Lyrics