In this case, it is also necessary that the initial value of this counter is random and secret.
Enter the initial value for the evaluation of the formula.