 The value of each variable is encoded as the exponent of a prime number in the prime factorization of the integer.For example, the integer

formula_4

represents a register state in which one variable (which we will call v2) holds the value 2 and two other variables (v3 and v5) hold the value 1.All other variables hold the value 0.