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