primes1.txt needed by primes.py