state transitions cluster__p p cluster__p_o0 o0 cluster__p_o1 o1 __initial __initial->_p _p_o0_initial _p_o0_a a _p_o0_initial->_p_o0_a _p_o0_b b onentry/ ^out.in_b _p_o0_a->_p_o0_b _p_o0_c c onentry/ ^out.in_c _p_o0_b->_p_o0_c _p_o1_initial _p_o1_d d _p_o1_initial->_p_o1_d _p_o1_e e onentry/ ^out.in_e _p_o1_d->_p_o1_e _p_o1_f f onentry/ ^out.in_f _p_o1_e->_p_o1_f