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