hofstadter-conway 10000-dollar sequence