Book sequences Hiroki Nagaoka