Book sequences Graf Thomas