Prime_factorization loading ...