Hofstadter-Conway $10,000 sequence