state transitions cluster__P P cluster__P_R2 R2 cluster__P_R1 R1 __initial __initial->_P _P_R2_initial _P_R2_C C _P_R2_initial->_P_R2_C _P_R2_D D _P_R2_C->_P_R2_D ^out.t2    _P_R1_initial _P_R1_A A _P_R1_initial->_P_R1_A _P_R1_B B _P_R1_A->_P_R1_B ^out.t1