merged states 7 -> 0, 6 -> 1, 5 -> 2, 4 -> 3

4 states less