A state machine has one input P in addition to the clock input and one output Q. The value of Q is 1 if and only if the number of 1's in the sequence of input P is not divisible by 2 and not divisible by 3. Otherwise, the output value Q is 0. Draw a state transition diagram for the state machine using as few states as possible.