\Draw \StateDiagrams \StateSpec(,106,,+,23,15) \Diagram ( 0,0,0 & 2,140,30 & 4,140,-15 & 5,140,-60 )( 1,i=2j,70,30 & 3,i=3j,70,-30 )( 0,1,$\epsilon/\epsilon$, & 0,3,$\epsilon/\epsilon$, & 1,2,$1/1$,$1/\epsilon$ & 3,4,$1/1$, & 4,5,$1/\epsilon$, & 5,3,$1/\epsilon$, ) \EndDraw