Book sequences Mills Magnus