Discrete_logarithms loading ...