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_e e entry ^out.in_e _p_o1_d->_p_o1_e f    _p_o0_initial _p_o0_a a _p_o0_initial->_p_o0_a _p_o0_c c entry ^out.in_c _p_o0_b b entry ^out.in_b _p_o0_b->_p_o0_c f    _p_o0_a->_p_o0_b e^f