[ state1: [ op1; op2; op3 ] ]
[ state2: [ op1; op2; op3; op4 ] ]
[ state3: [ op1; op2; op3; op4; op5; op6 ] ]
[ state4: [ op1; op2; op3; op4; op5 ] ]
[ state5: [ op1; op2 ] ]
[ state6: [ op1; op2; op3; op4 ] ]
[ state7: [ op1; op2; op3 ] ]
[ state8: [ op1; op2; op3; op4 ] ]
[ state9: [ op1; op2 ] ]