My understanding is that these stand for prev_state, next_state transitions: Match, Match; Match, Insert_Read; Match, Insert_Graph; Insert_Read, Match; Insert_Read, Insert_Read; Insert_Graph, Match; Insert_Graph, Insert_Graph.

Is that correct?