divisibility sequences