Book sequences Sijie Dai