.i 4
.o 3
.s 4
.p 12
.reset Rst
.resettype async
.clock Clk
.resetstate st0
.type fdr
.ilb In0 In1 In2 In3
.ob Out0 Out1 Out2
.obdefault 000
.ffname CurrentState
.fftype d
.usedc 0
.code Auto
0--- st0 st0 000
1--- st0 st1 000
-0-- st1 st1 000
-1-- st1 st2 000
--10 st2 st1 000
--0- st2 st2 000
--11 st2 st3 000
--1- st3 st1 000
--0- st3 st3 000
---- st1 void 100
---- st2 void 010
---- st3 void 001
.e
st0	0
st1	1
st2	2
st3	3