discrete-logarithm public under decision-problem 2 List Picture As a command %3 n0 discrete-logarithm n1 decision-problem n1->n0