primes in 2 .. 8190