primes in 3 .. 16383