Square-free_factorization loading ...