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