check_repo should handle profiling better
Session 7, factorization of large numbers