lazy_primality.cpp