"a": min-value-hit max-value-hit "n": "t": constant-bounds "a": 1 ? constant-bounds "n": 1 4 constant-bounds "t": 1 3 variable "a" variable "n" variable "t"