Discrete_logarithm_problem loading ...