Transition
Condition
c01
c03
c04
else
c12
true
c21
c23
c34
true
c44
true