export primes