Construct a 3-bit state counter that executes the following state diagram:
That is, it counts cyclically through the even numbers 000, 010, 100, and 110, with the odd excluded states feeding into the next highest even number.