Input order: A B I
D0 = A_next (D input of flip-flop A)
D1 = B_next (D input of flip-flop B)
OUT = Y
State 11 is unused/unreachable; its two rows are unspecified.
