Figure 6: State transition directed graph.