* This is an example state.in file. This file
* defines a simple 2-bit counter with one input. The
* value of this input determines whether the counter counts
* up (in = 1) or down (in = 0).
* [state#] [output1 output2] [input] [next state]
0 0s 0s 0 -> 3
        1 -> 1
1 0s 1z 0 -> 0
        1 -> 2
2 1z 0s 0 -> 1
        1 -> 3
3 1z 1z 0 -> 2
3 1z 1z 1 -> 0