Complete initial state diagram