Your task is to implement a finite state machine with TOGGLE flipflops given the following state diagram. The FSM is a complex GRAY code counter with two control inputs, I1 and I0, which determine the next state.