###keys
val1 val2

###textDisplay

###states
(val1: 1 val2: 5) ||
(val1: 2 val2: 5) ||
(val1: 2 val2: 4) ||
(val1: 2 val2: 3) ||
(val1: 3 val2: 3) ||
(val1: 3 val2: 2) ||
(val1: 3 val2: 3) ||
(val1: 3 val2: 2) ||
(val1: 2 val2: 2) ||
(val1: 2 val2: 1) ||
(val1: 2 val2: 2) ||
(val1: 1 val2: 2) ||
(val1: 1 val2: 1) ||
(val1: 1 val2: 0) ||
(val1: 1 val2: 1) ||
(val1: 1 val2: 0) ||
(val1: 1 val2: 1) ||
(val1: 0 val2: 1) ||
(val1: 0 val2: 0) ||
(val1: 0 val2: 0)