.i 2
.o 2
.s 4
.p 8
.reset Rst
.resettype async
.clock Clk
.resetstate st0
.type fdr
.ilb In0 In1
.ob Out0 Out1
.obdefault 00
.ffname CurrentState
.fftype d
.usedc 0
.code Auto
0- st0 st0 00
1- st0 st1 00
-- st1 st2 00
-0 st2 st0 00
-1 st2 st3 00
-- st3 st3 00
-- st1 void 10
-- st2 void 01
.e
st0	0
st1	1
st2	2
st3	3