C   b
TL   b
TS   b
state0   b
state1   b
*
state1   b
state0   b
ST   b
HL-1   b
HL0   b
FL-1   b
FL0   b
*
FL-1 = -state0 * -state1 ; 
ST = TL * C * -state0 * -state1 ; 
state0 = TL * C * -state0 * -state1 ; 
HL0 = state0  * -state1 ; 
FL-1 = state0  * -state1 ; 
state0 = -TS * state0  * -state1 ; 
ST = TS * state0  * -state1 ; 
state1 = TS * state0  * -state1 ; 
HL-1 = -state0 * state1  ; 
state1 = -TL * C * -state0 * state1  ; 
ST = -C * -state0 * state1  ; 
state0 = -C * -state0 * state1  ; 
state1 = -C * -state0 * state1  ; 
ST = TL * -state0 * state1  ; 
state0 = TL * -state0 * state1  ; 
state1 = TL * -state0 * state1  ; 
HL-1 = state0  * state1  ; 
FL0 = state0  * state1  ; 
state0 = -TS * state0  * state1  ; 
state1 = -TS * state0  * state1  ; 
ST = TS * state0  * state1  ; 
*;