Book sequences Simak Clifford D