Asequential circuit has one input (X) and one output (Z). Draw a Mealy state diagram for the following case. The output is Z=1 if and only if the total number of 1's received is divisible by3 (0,3,6, ...) and the total number of 0's received isan even number greater than zero. (Hint: The minimum number of states is 9.)