Copypasted 10000primes.txt from original