Factorial_prime loading ...