Adding prime-factorization files