(AND/IF_1.0 (NFA (NAME Sequencer) (SYMBOLS (a0 INPUT) (a1 INPUT) (b INPUT) (c0 OUTPUT) (c1 OUTPUT) ) (STATES (0 INITIAL BOX) (1 BOX) (2 BOX) (4 BOX) (3 BOX) (5 TRANSIENT) (6 TRANSIENT) (7 TRANSIENT) ) (TRANSITIONS (0 1 a0) (0 2 a1) (0 4 b) (1 3 a1) (1 5 b) (2 3 a0) (2 6 b) (4 5 a0) (4 6 a1) (3 7 b) (5 7 a1) (5 0 c0) (6 7 a0) (6 0 c1) (7 2 c0) (7 1 c1) ) ) )