Fermat_prime loading ...