"n":
"x":
constant-bounds "n": 1 1000000
constant-bounds "x": 1 1000000
variable "n"
variable "x"
