Book sequences Petterson Per