live-proving a prime sieve, part 2