Def/Sequence of primes