State Machine - |ctvrty|state2
Name state2.S3 state2.S2 state2.S1 state2.S0 
state2.S0 0 0 0 0 
state2.S1 0 0 1 1 
state2.S2 0 1 0 1 
state2.S3 1 0 0 1 

State Machine - |ctvrty|state1
Name state1.S3 state1.S2 state1.S1 state1.S0 
state1.S0 0 0 0 0 
state1.S1 0 0 1 1 
state1.S2 0 1 0 1 
state1.S3 1 0 0 1