* 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).

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
