Integer Sequences: Divisibility, Lucas and Lehmer Sequences