command> ['test'] ~ {[0]->[is_number]}
  [0]
  [is_number]
  {[0]->[is_number]}
command> ['test'] ~ {[1]->[is_number]}
  [0]
  [1]
  x2 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
command> ['test'] ~ {[2]->[is_number]}
  [0]
  [1]
  x3 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  [2]
  {[2]->[is_number]}
command> ['test'] ~ {[3]->[is_number]}
  [0]
  [1]
  x4 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  [2]
  {[2]->[is_number]}
  [3]
  {[3]->[is_number]}
command> ['test'] ~ {[4]->[is_number]}
  [0]
  [1]
  x5 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  [2]
  {[2]->[is_number]}
  [3]
  {[3]->[is_number]}
  [4]
  {[4]->[is_number]}
command> ['test'] ~ {[5]->[is_number]}
  [0]
  [1]
  x6 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  [2]
  {[2]->[is_number]}
  [3]
  {[3]->[is_number]}
  [4]
  {[4]->[is_number]}
  [5]
  {[5]->[is_number]}
command> ['test'] ~ {[6]->[is_number]}
  [0]
  [1]
  x7 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  [2]
  {[2]->[is_number]}
  [3]
  {[3]->[is_number]}
  [4]
  {[4]->[is_number]}
  [5]
  {[5]->[is_number]}
  [6]
  {[6]->[is_number]}
command> ['test'] ~ {[7]->[is_number]}
  [0]
  [1]
  x8 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  [2]
  {[2]->[is_number]}
  [3]
  {[3]->[is_number]}
  [4]
  {[4]->[is_number]}
  [5]
  {[5]->[is_number]}
  [6]
  {[6]->[is_number]}
  [7]
  {[7]->[is_number]}
command> ['test'] ~ {[8]->[is_number]}
  [0]
  [1]
  x9 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  [2]
  {[2]->[is_number]}
  [3]
  {[3]->[is_number]}
  [4]
  {[4]->[is_number]}
  [5]
  {[5]->[is_number]}
  [6]
  {[6]->[is_number]}
  [7]
  {[7]->[is_number]}
  [8]
  {[8]->[is_number]}
command> ['test'] ~ {[9]->[is_number]}
  [0]
  [1]
  x10 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  [2]
  {[2]->[is_number]}
  [3]
  {[3]->[is_number]}
  [4]
  {[4]->[is_number]}
  [5]
  {[5]->[is_number]}
  [6]
  {[6]->[is_number]}
  [7]
  {[7]->[is_number]}
  [8]
  {[8]->[is_number]}
  [9]
  {[9]->[is_number]}
command> ['test'] ~ {{[0]->[follows]}->[9]}*{[state]->[is_forward]}
  x2 [0]
  [1]
  x10 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  [2]
  {[2]->[is_number]}
  [3]
  {[3]->[is_number]}
  [4]
  {[4]->[is_number]}
  [5]
  {[5]->[is_number]}
  [6]
  {[6]->[is_number]}
  [7]
  {[7]->[is_number]}
  [8]
  {[8]->[is_number]}
  x2 [9]
  {[9]->[is_number]}
  [follows]
  {[0]->[follows]}
  {{[0]->[follows]}->[9]}
  [state]
  [is_forward]
  {[state]->[is_forward]}
  ({{[0]->[follows]}->[9]}*{[state]->[is_forward]})
command> ['test'] ~ {{[1]->[follows]}->[0]}*{[state]->[is_forward]}
  x3 [0]
  x2 [1]
  x10 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  [2]
  {[2]->[is_number]}
  [3]
  {[3]->[is_number]}
  [4]
  {[4]->[is_number]}
  [5]
  {[5]->[is_number]}
  [6]
  {[6]->[is_number]}
  [7]
  {[7]->[is_number]}
  [8]
  {[8]->[is_number]}
  x2 [9]
  {[9]->[is_number]}
  x2 [follows]
  {[0]->[follows]}
  {{[0]->[follows]}->[9]}
  x2 [state]
  x2 [is_forward]
  x2 {[state]->[is_forward]}
  ({{[0]->[follows]}->[9]}*{[state]->[is_forward]})
  {[1]->[follows]}
  {{[1]->[follows]}->[0]}
  ({[state]->[is_forward]}*{{[1]->[follows]}->[0]})
command> ['test'] ~ {{[2]->[follows]}->[1]}*{[state]->[is_forward]}
  x3 [0]
  x3 [1]
  x10 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  x2 [2]
  {[2]->[is_number]}
  [3]
  {[3]->[is_number]}
  [4]
  {[4]->[is_number]}
  [5]
  {[5]->[is_number]}
  [6]
  {[6]->[is_number]}
  [7]
  {[7]->[is_number]}
  [8]
  {[8]->[is_number]}
  x2 [9]
  {[9]->[is_number]}
  x3 [follows]
  {[0]->[follows]}
  {{[0]->[follows]}->[9]}
  x3 [state]
  x3 [is_forward]
  x3 {[state]->[is_forward]}
  ({{[0]->[follows]}->[9]}*{[state]->[is_forward]})
  {[1]->[follows]}
  {{[1]->[follows]}->[0]}
  ({[state]->[is_forward]}*{{[1]->[follows]}->[0]})
  {[2]->[follows]}
  {{[2]->[follows]}->[1]}
  ({[state]->[is_forward]}*{{[2]->[follows]}->[1]})
command> ['test'] ~ {{[3]->[follows]}->[2]}*{[state]->[is_forward]}
  x3 [0]
  x3 [1]
  x10 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  x3 [2]
  {[2]->[is_number]}
  x2 [3]
  {[3]->[is_number]}
  [4]
  {[4]->[is_number]}
  [5]
  {[5]->[is_number]}
  [6]
  {[6]->[is_number]}
  [7]
  {[7]->[is_number]}
  [8]
  {[8]->[is_number]}
  x2 [9]
  {[9]->[is_number]}
  x4 [follows]
  {[0]->[follows]}
  {{[0]->[follows]}->[9]}
  x4 [state]
  x4 [is_forward]
  x4 {[state]->[is_forward]}
  ({{[0]->[follows]}->[9]}*{[state]->[is_forward]})
  {[1]->[follows]}
  {{[1]->[follows]}->[0]}
  ({[state]->[is_forward]}*{{[1]->[follows]}->[0]})
  {[2]->[follows]}
  {{[2]->[follows]}->[1]}
  ({[state]->[is_forward]}*{{[2]->[follows]}->[1]})
  {[3]->[follows]}
  {{[3]->[follows]}->[2]}
  ({[state]->[is_forward]}*{{[3]->[follows]}->[2]})
command> ['test'] ~ {{[4]->[follows]}->[3]}*{[state]->[is_forward]}
  x3 [0]
  x3 [1]
  x10 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  x3 [2]
  {[2]->[is_number]}
  x3 [3]
  {[3]->[is_number]}
  x2 [4]
  {[4]->[is_number]}
  [5]
  {[5]->[is_number]}
  [6]
  {[6]->[is_number]}
  [7]
  {[7]->[is_number]}
  [8]
  {[8]->[is_number]}
  x2 [9]
  {[9]->[is_number]}
  x5 [follows]
  {[0]->[follows]}
  {{[0]->[follows]}->[9]}
  x5 [state]
  x5 [is_forward]
  x5 {[state]->[is_forward]}
  ({{[0]->[follows]}->[9]}*{[state]->[is_forward]})
  {[1]->[follows]}
  {{[1]->[follows]}->[0]}
  ({[state]->[is_forward]}*{{[1]->[follows]}->[0]})
  {[2]->[follows]}
  {{[2]->[follows]}->[1]}
  ({[state]->[is_forward]}*{{[2]->[follows]}->[1]})
  {[3]->[follows]}
  {{[3]->[follows]}->[2]}
  ({[state]->[is_forward]}*{{[3]->[follows]}->[2]})
  {[4]->[follows]}
  {{[4]->[follows]}->[3]}
  ({[state]->[is_forward]}*{{[4]->[follows]}->[3]})
command> ['test'] ~ {{[5]->[follows]}->[4]}*{[state]->[is_forward]}
  x3 [0]
  x3 [1]
  x10 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  x3 [2]
  {[2]->[is_number]}
  x3 [3]
  {[3]->[is_number]}
  x3 [4]
  {[4]->[is_number]}
  x2 [5]
  {[5]->[is_number]}
  [6]
  {[6]->[is_number]}
  [7]
  {[7]->[is_number]}
  [8]
  {[8]->[is_number]}
  x2 [9]
  {[9]->[is_number]}
  x6 [follows]
  {[0]->[follows]}
  {{[0]->[follows]}->[9]}
  x6 [state]
  x6 [is_forward]
  x6 {[state]->[is_forward]}
  ({{[0]->[follows]}->[9]}*{[state]->[is_forward]})
  {[1]->[follows]}
  {{[1]->[follows]}->[0]}
  ({[state]->[is_forward]}*{{[1]->[follows]}->[0]})
  {[2]->[follows]}
  {{[2]->[follows]}->[1]}
  ({[state]->[is_forward]}*{{[2]->[follows]}->[1]})
  {[3]->[follows]}
  {{[3]->[follows]}->[2]}
  ({[state]->[is_forward]}*{{[3]->[follows]}->[2]})
  {[4]->[follows]}
  {{[4]->[follows]}->[3]}
  ({[state]->[is_forward]}*{{[4]->[follows]}->[3]})
  {[5]->[follows]}
  {{[5]->[follows]}->[4]}
  ({[state]->[is_forward]}*{{[5]->[follows]}->[4]})
command> ['test'] ~ {{[6]->[follows]}->[5]}*{[state]->[is_forward]}
  x3 [0]
  x3 [1]
  x10 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  x3 [2]
  {[2]->[is_number]}
  x3 [3]
  {[3]->[is_number]}
  x3 [4]
  {[4]->[is_number]}
  x3 [5]
  {[5]->[is_number]}
  x2 [6]
  {[6]->[is_number]}
  [7]
  {[7]->[is_number]}
  [8]
  {[8]->[is_number]}
  x2 [9]
  {[9]->[is_number]}
  x7 [follows]
  {[0]->[follows]}
  {{[0]->[follows]}->[9]}
  x7 [state]
  x7 [is_forward]
  x7 {[state]->[is_forward]}
  ({{[0]->[follows]}->[9]}*{[state]->[is_forward]})
  {[1]->[follows]}
  {{[1]->[follows]}->[0]}
  ({[state]->[is_forward]}*{{[1]->[follows]}->[0]})
  {[2]->[follows]}
  {{[2]->[follows]}->[1]}
  ({[state]->[is_forward]}*{{[2]->[follows]}->[1]})
  {[3]->[follows]}
  {{[3]->[follows]}->[2]}
  ({[state]->[is_forward]}*{{[3]->[follows]}->[2]})
  {[4]->[follows]}
  {{[4]->[follows]}->[3]}
  ({[state]->[is_forward]}*{{[4]->[follows]}->[3]})
  {[5]->[follows]}
  {{[5]->[follows]}->[4]}
  ({[state]->[is_forward]}*{{[5]->[follows]}->[4]})
  {[6]->[follows]}
  {{[6]->[follows]}->[5]}
  ({[state]->[is_forward]}*{{[6]->[follows]}->[5]})
command> ['test'] ~ {{[7]->[follows]}->[6]}*{[state]->[is_forward]}
  x3 [0]
  x3 [1]
  x10 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  x3 [2]
  {[2]->[is_number]}
  x3 [3]
  {[3]->[is_number]}
  x3 [4]
  {[4]->[is_number]}
  x3 [5]
  {[5]->[is_number]}
  x3 [6]
  {[6]->[is_number]}
  x2 [7]
  {[7]->[is_number]}
  [8]
  {[8]->[is_number]}
  x2 [9]
  {[9]->[is_number]}
  x8 [follows]
  {[0]->[follows]}
  {{[0]->[follows]}->[9]}
  x8 [state]
  x8 [is_forward]
  x8 {[state]->[is_forward]}
  ({{[0]->[follows]}->[9]}*{[state]->[is_forward]})
  {[1]->[follows]}
  {{[1]->[follows]}->[0]}
  ({[state]->[is_forward]}*{{[1]->[follows]}->[0]})
  {[2]->[follows]}
  {{[2]->[follows]}->[1]}
  ({[state]->[is_forward]}*{{[2]->[follows]}->[1]})
  {[3]->[follows]}
  {{[3]->[follows]}->[2]}
  ({[state]->[is_forward]}*{{[3]->[follows]}->[2]})
  {[4]->[follows]}
  {{[4]->[follows]}->[3]}
  ({[state]->[is_forward]}*{{[4]->[follows]}->[3]})
  {[5]->[follows]}
  {{[5]->[follows]}->[4]}
  ({[state]->[is_forward]}*{{[5]->[follows]}->[4]})
  {[6]->[follows]}
  {{[6]->[follows]}->[5]}
  ({[state]->[is_forward]}*{{[6]->[follows]}->[5]})
  {[7]->[follows]}
  {{[7]->[follows]}->[6]}
  ({[state]->[is_forward]}*{{[7]->[follows]}->[6]})
command> ['test'] ~ {{[8]->[follows]}->[7]}*{[state]->[is_forward]}
  x3 [0]
  x3 [1]
  x10 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  x3 [2]
  {[2]->[is_number]}
  x3 [3]
  {[3]->[is_number]}
  x3 [4]
  {[4]->[is_number]}
  x3 [5]
  {[5]->[is_number]}
  x3 [6]
  {[6]->[is_number]}
  x3 [7]
  {[7]->[is_number]}
  x2 [8]
  {[8]->[is_number]}
  x2 [9]
  {[9]->[is_number]}
  x9 [follows]
  {[0]->[follows]}
  {{[0]->[follows]}->[9]}
  x9 [state]
  x9 [is_forward]
  x9 {[state]->[is_forward]}
  ({{[0]->[follows]}->[9]}*{[state]->[is_forward]})
  {[1]->[follows]}
  {{[1]->[follows]}->[0]}
  ({[state]->[is_forward]}*{{[1]->[follows]}->[0]})
  {[2]->[follows]}
  {{[2]->[follows]}->[1]}
  ({[state]->[is_forward]}*{{[2]->[follows]}->[1]})
  {[3]->[follows]}
  {{[3]->[follows]}->[2]}
  ({[state]->[is_forward]}*{{[3]->[follows]}->[2]})
  {[4]->[follows]}
  {{[4]->[follows]}->[3]}
  ({[state]->[is_forward]}*{{[4]->[follows]}->[3]})
  {[5]->[follows]}
  {{[5]->[follows]}->[4]}
  ({[state]->[is_forward]}*{{[5]->[follows]}->[4]})
  {[6]->[follows]}
  {{[6]->[follows]}->[5]}
  ({[state]->[is_forward]}*{{[6]->[follows]}->[5]})
  {[7]->[follows]}
  {{[7]->[follows]}->[6]}
  ({[state]->[is_forward]}*{{[7]->[follows]}->[6]})
  {[8]->[follows]}
  {{[8]->[follows]}->[7]}
  ({[state]->[is_forward]}*{{[8]->[follows]}->[7]})
command> ['test'] ~ {{[9]->[follows]}->[8]}*{[state]->[is_forward]}
  x3 [0]
  x3 [1]
  x10 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  x3 [2]
  {[2]->[is_number]}
  x3 [3]
  {[3]->[is_number]}
  x3 [4]
  {[4]->[is_number]}
  x3 [5]
  {[5]->[is_number]}
  x3 [6]
  {[6]->[is_number]}
  x3 [7]
  {[7]->[is_number]}
  x3 [8]
  {[8]->[is_number]}
  x3 [9]
  {[9]->[is_number]}
  x10 [follows]
  {[0]->[follows]}
  {{[0]->[follows]}->[9]}
  x10 [state]
  x10 [is_forward]
  x10 {[state]->[is_forward]}
  ({{[0]->[follows]}->[9]}*{[state]->[is_forward]})
  {[1]->[follows]}
  {{[1]->[follows]}->[0]}
  ({[state]->[is_forward]}*{{[1]->[follows]}->[0]})
  {[2]->[follows]}
  {{[2]->[follows]}->[1]}
  ({[state]->[is_forward]}*{{[2]->[follows]}->[1]})
  {[3]->[follows]}
  {{[3]->[follows]}->[2]}
  ({[state]->[is_forward]}*{{[3]->[follows]}->[2]})
  {[4]->[follows]}
  {{[4]->[follows]}->[3]}
  ({[state]->[is_forward]}*{{[4]->[follows]}->[3]})
  {[5]->[follows]}
  {{[5]->[follows]}->[4]}
  ({[state]->[is_forward]}*{{[5]->[follows]}->[4]})
  {[6]->[follows]}
  {{[6]->[follows]}->[5]}
  ({[state]->[is_forward]}*{{[6]->[follows]}->[5]})
  {[7]->[follows]}
  {{[7]->[follows]}->[6]}
  ({[state]->[is_forward]}*{{[7]->[follows]}->[6]})
  {[8]->[follows]}
  {{[8]->[follows]}->[7]}
  ({[state]->[is_forward]}*{{[8]->[follows]}->[7]})
  {[9]->[follows]}
  {{[9]->[follows]}->[8]}
  ({[state]->[is_forward]}*{{[9]->[follows]}->[8]})
command> ['test'] ~ {{[0]->[follows]}->[1]}*{[state]->[is_backward]}
  x4 [0]
  x4 [1]
  x10 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  x3 [2]
  {[2]->[is_number]}
  x3 [3]
  {[3]->[is_number]}
  x3 [4]
  {[4]->[is_number]}
  x3 [5]
  {[5]->[is_number]}
  x3 [6]
  {[6]->[is_number]}
  x3 [7]
  {[7]->[is_number]}
  x3 [8]
  {[8]->[is_number]}
  x3 [9]
  {[9]->[is_number]}
  x11 [follows]
  x2 {[0]->[follows]}
  {{[0]->[follows]}->[9]}
  x11 [state]
  x10 [is_forward]
  x10 {[state]->[is_forward]}
  ({{[0]->[follows]}->[9]}*{[state]->[is_forward]})
  {[1]->[follows]}
  {{[1]->[follows]}->[0]}
  ({[state]->[is_forward]}*{{[1]->[follows]}->[0]})
  {[2]->[follows]}
  {{[2]->[follows]}->[1]}
  ({[state]->[is_forward]}*{{[2]->[follows]}->[1]})
  {[3]->[follows]}
  {{[3]->[follows]}->[2]}
  ({[state]->[is_forward]}*{{[3]->[follows]}->[2]})
  {[4]->[follows]}
  {{[4]->[follows]}->[3]}
  ({[state]->[is_forward]}*{{[4]->[follows]}->[3]})
  {[5]->[follows]}
  {{[5]->[follows]}->[4]}
  ({[state]->[is_forward]}*{{[5]->[follows]}->[4]})
  {[6]->[follows]}
  {{[6]->[follows]}->[5]}
  ({[state]->[is_forward]}*{{[6]->[follows]}->[5]})
  {[7]->[follows]}
  {{[7]->[follows]}->[6]}
  ({[state]->[is_forward]}*{{[7]->[follows]}->[6]})
  {[8]->[follows]}
  {{[8]->[follows]}->[7]}
  ({[state]->[is_forward]}*{{[8]->[follows]}->[7]})
  {[9]->[follows]}
  {{[9]->[follows]}->[8]}
  ({[state]->[is_forward]}*{{[9]->[follows]}->[8]})
  {{[0]->[follows]}->[1]}
  [is_backward]
  {[state]->[is_backward]}
  ({{[0]->[follows]}->[1]}*{[state]->[is_backward]})
command> ['test'] ~ {{[1]->[follows]}->[2]}*{[state]->[is_backward]}
  x4 [0]
  x5 [1]
  x10 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  x4 [2]
  {[2]->[is_number]}
  x3 [3]
  {[3]->[is_number]}
  x3 [4]
  {[4]->[is_number]}
  x3 [5]
  {[5]->[is_number]}
  x3 [6]
  {[6]->[is_number]}
  x3 [7]
  {[7]->[is_number]}
  x3 [8]
  {[8]->[is_number]}
  x3 [9]
  {[9]->[is_number]}
  x12 [follows]
  x2 {[0]->[follows]}
  {{[0]->[follows]}->[9]}
  x12 [state]
  x10 [is_forward]
  x10 {[state]->[is_forward]}
  ({{[0]->[follows]}->[9]}*{[state]->[is_forward]})
  x2 {[1]->[follows]}
  {{[1]->[follows]}->[0]}
  ({[state]->[is_forward]}*{{[1]->[follows]}->[0]})
  {[2]->[follows]}
  {{[2]->[follows]}->[1]}
  ({[state]->[is_forward]}*{{[2]->[follows]}->[1]})
  {[3]->[follows]}
  {{[3]->[follows]}->[2]}
  ({[state]->[is_forward]}*{{[3]->[follows]}->[2]})
  {[4]->[follows]}
  {{[4]->[follows]}->[3]}
  ({[state]->[is_forward]}*{{[4]->[follows]}->[3]})
  {[5]->[follows]}
  {{[5]->[follows]}->[4]}
  ({[state]->[is_forward]}*{{[5]->[follows]}->[4]})
  {[6]->[follows]}
  {{[6]->[follows]}->[5]}
  ({[state]->[is_forward]}*{{[6]->[follows]}->[5]})
  {[7]->[follows]}
  {{[7]->[follows]}->[6]}
  ({[state]->[is_forward]}*{{[7]->[follows]}->[6]})
  {[8]->[follows]}
  {{[8]->[follows]}->[7]}
  ({[state]->[is_forward]}*{{[8]->[follows]}->[7]})
  {[9]->[follows]}
  {{[9]->[follows]}->[8]}
  ({[state]->[is_forward]}*{{[9]->[follows]}->[8]})
  {{[0]->[follows]}->[1]}
  x2 [is_backward]
  x2 {[state]->[is_backward]}
  ({{[0]->[follows]}->[1]}*{[state]->[is_backward]})
  {{[1]->[follows]}->[2]}
  ({[state]->[is_backward]}*{{[1]->[follows]}->[2]})
command> ['test'] ~ {{[2]->[follows]}->[3]}*{[state]->[is_backward]}
  x4 [0]
  x5 [1]
  x10 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  x5 [2]
  {[2]->[is_number]}
  x4 [3]
  {[3]->[is_number]}
  x3 [4]
  {[4]->[is_number]}
  x3 [5]
  {[5]->[is_number]}
  x3 [6]
  {[6]->[is_number]}
  x3 [7]
  {[7]->[is_number]}
  x3 [8]
  {[8]->[is_number]}
  x3 [9]
  {[9]->[is_number]}
  x13 [follows]
  x2 {[0]->[follows]}
  {{[0]->[follows]}->[9]}
  x13 [state]
  x10 [is_forward]
  x10 {[state]->[is_forward]}
  ({{[0]->[follows]}->[9]}*{[state]->[is_forward]})
  x2 {[1]->[follows]}
  {{[1]->[follows]}->[0]}
  ({[state]->[is_forward]}*{{[1]->[follows]}->[0]})
  x2 {[2]->[follows]}
  {{[2]->[follows]}->[1]}
  ({[state]->[is_forward]}*{{[2]->[follows]}->[1]})
  {[3]->[follows]}
  {{[3]->[follows]}->[2]}
  ({[state]->[is_forward]}*{{[3]->[follows]}->[2]})
  {[4]->[follows]}
  {{[4]->[follows]}->[3]}
  ({[state]->[is_forward]}*{{[4]->[follows]}->[3]})
  {[5]->[follows]}
  {{[5]->[follows]}->[4]}
  ({[state]->[is_forward]}*{{[5]->[follows]}->[4]})
  {[6]->[follows]}
  {{[6]->[follows]}->[5]}
  ({[state]->[is_forward]}*{{[6]->[follows]}->[5]})
  {[7]->[follows]}
  {{[7]->[follows]}->[6]}
  ({[state]->[is_forward]}*{{[7]->[follows]}->[6]})
  {[8]->[follows]}
  {{[8]->[follows]}->[7]}
  ({[state]->[is_forward]}*{{[8]->[follows]}->[7]})
  {[9]->[follows]}
  {{[9]->[follows]}->[8]}
  ({[state]->[is_forward]}*{{[9]->[follows]}->[8]})
  {{[0]->[follows]}->[1]}
  x3 [is_backward]
  x3 {[state]->[is_backward]}
  ({{[0]->[follows]}->[1]}*{[state]->[is_backward]})
  {{[1]->[follows]}->[2]}
  ({[state]->[is_backward]}*{{[1]->[follows]}->[2]})
  {{[2]->[follows]}->[3]}
  ({[state]->[is_backward]}*{{[2]->[follows]}->[3]})
command> ['test'] ~ {{[3]->[follows]}->[4]}*{[state]->[is_backward]}
  x4 [0]
  x5 [1]
  x10 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  x5 [2]
  {[2]->[is_number]}
  x5 [3]
  {[3]->[is_number]}
  x4 [4]
  {[4]->[is_number]}
  x3 [5]
  {[5]->[is_number]}
  x3 [6]
  {[6]->[is_number]}
  x3 [7]
  {[7]->[is_number]}
  x3 [8]
  {[8]->[is_number]}
  x3 [9]
  {[9]->[is_number]}
  x14 [follows]
  x2 {[0]->[follows]}
  {{[0]->[follows]}->[9]}
  x14 [state]
  x10 [is_forward]
  x10 {[state]->[is_forward]}
  ({{[0]->[follows]}->[9]}*{[state]->[is_forward]})
  x2 {[1]->[follows]}
  {{[1]->[follows]}->[0]}
  ({[state]->[is_forward]}*{{[1]->[follows]}->[0]})
  x2 {[2]->[follows]}
  {{[2]->[follows]}->[1]}
  ({[state]->[is_forward]}*{{[2]->[follows]}->[1]})
  x2 {[3]->[follows]}
  {{[3]->[follows]}->[2]}
  ({[state]->[is_forward]}*{{[3]->[follows]}->[2]})
  {[4]->[follows]}
  {{[4]->[follows]}->[3]}
  ({[state]->[is_forward]}*{{[4]->[follows]}->[3]})
  {[5]->[follows]}
  {{[5]->[follows]}->[4]}
  ({[state]->[is_forward]}*{{[5]->[follows]}->[4]})
  {[6]->[follows]}
  {{[6]->[follows]}->[5]}
  ({[state]->[is_forward]}*{{[6]->[follows]}->[5]})
  {[7]->[follows]}
  {{[7]->[follows]}->[6]}
  ({[state]->[is_forward]}*{{[7]->[follows]}->[6]})
  {[8]->[follows]}
  {{[8]->[follows]}->[7]}
  ({[state]->[is_forward]}*{{[8]->[follows]}->[7]})
  {[9]->[follows]}
  {{[9]->[follows]}->[8]}
  ({[state]->[is_forward]}*{{[9]->[follows]}->[8]})
  {{[0]->[follows]}->[1]}
  x4 [is_backward]
  x4 {[state]->[is_backward]}
  ({{[0]->[follows]}->[1]}*{[state]->[is_backward]})
  {{[1]->[follows]}->[2]}
  ({[state]->[is_backward]}*{{[1]->[follows]}->[2]})
  {{[2]->[follows]}->[3]}
  ({[state]->[is_backward]}*{{[2]->[follows]}->[3]})
  {{[3]->[follows]}->[4]}
  ({[state]->[is_backward]}*{{[3]->[follows]}->[4]})
command> ['test'] ~ {{[4]->[follows]}->[5]}*{[state]->[is_backward]}
  x4 [0]
  x5 [1]
  x10 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  x5 [2]
  {[2]->[is_number]}
  x5 [3]
  {[3]->[is_number]}
  x5 [4]
  {[4]->[is_number]}
  x4 [5]
  {[5]->[is_number]}
  x3 [6]
  {[6]->[is_number]}
  x3 [7]
  {[7]->[is_number]}
  x3 [8]
  {[8]->[is_number]}
  x3 [9]
  {[9]->[is_number]}
  x15 [follows]
  x2 {[0]->[follows]}
  {{[0]->[follows]}->[9]}
  x15 [state]
  x10 [is_forward]
  x10 {[state]->[is_forward]}
  ({{[0]->[follows]}->[9]}*{[state]->[is_forward]})
  x2 {[1]->[follows]}
  {{[1]->[follows]}->[0]}
  ({[state]->[is_forward]}*{{[1]->[follows]}->[0]})
  x2 {[2]->[follows]}
  {{[2]->[follows]}->[1]}
  ({[state]->[is_forward]}*{{[2]->[follows]}->[1]})
  x2 {[3]->[follows]}
  {{[3]->[follows]}->[2]}
  ({[state]->[is_forward]}*{{[3]->[follows]}->[2]})
  x2 {[4]->[follows]}
  {{[4]->[follows]}->[3]}
  ({[state]->[is_forward]}*{{[4]->[follows]}->[3]})
  {[5]->[follows]}
  {{[5]->[follows]}->[4]}
  ({[state]->[is_forward]}*{{[5]->[follows]}->[4]})
  {[6]->[follows]}
  {{[6]->[follows]}->[5]}
  ({[state]->[is_forward]}*{{[6]->[follows]}->[5]})
  {[7]->[follows]}
  {{[7]->[follows]}->[6]}
  ({[state]->[is_forward]}*{{[7]->[follows]}->[6]})
  {[8]->[follows]}
  {{[8]->[follows]}->[7]}
  ({[state]->[is_forward]}*{{[8]->[follows]}->[7]})
  {[9]->[follows]}
  {{[9]->[follows]}->[8]}
  ({[state]->[is_forward]}*{{[9]->[follows]}->[8]})
  {{[0]->[follows]}->[1]}
  x5 [is_backward]
  x5 {[state]->[is_backward]}
  ({{[0]->[follows]}->[1]}*{[state]->[is_backward]})
  {{[1]->[follows]}->[2]}
  ({[state]->[is_backward]}*{{[1]->[follows]}->[2]})
  {{[2]->[follows]}->[3]}
  ({[state]->[is_backward]}*{{[2]->[follows]}->[3]})
  {{[3]->[follows]}->[4]}
  ({[state]->[is_backward]}*{{[3]->[follows]}->[4]})
  {{[4]->[follows]}->[5]}
  ({[state]->[is_backward]}*{{[4]->[follows]}->[5]})
command> ['test'] ~ {{[5]->[follows]}->[6]}*{[state]->[is_backward]}
  x4 [0]
  x5 [1]
  x10 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  x5 [2]
  {[2]->[is_number]}
  x5 [3]
  {[3]->[is_number]}
  x5 [4]
  {[4]->[is_number]}
  x5 [5]
  {[5]->[is_number]}
  x4 [6]
  {[6]->[is_number]}
  x3 [7]
  {[7]->[is_number]}
  x3 [8]
  {[8]->[is_number]}
  x3 [9]
  {[9]->[is_number]}
  x16 [follows]
  x2 {[0]->[follows]}
  {{[0]->[follows]}->[9]}
  x16 [state]
  x10 [is_forward]
  x10 {[state]->[is_forward]}
  ({{[0]->[follows]}->[9]}*{[state]->[is_forward]})
  x2 {[1]->[follows]}
  {{[1]->[follows]}->[0]}
  ({[state]->[is_forward]}*{{[1]->[follows]}->[0]})
  x2 {[2]->[follows]}
  {{[2]->[follows]}->[1]}
  ({[state]->[is_forward]}*{{[2]->[follows]}->[1]})
  x2 {[3]->[follows]}
  {{[3]->[follows]}->[2]}
  ({[state]->[is_forward]}*{{[3]->[follows]}->[2]})
  x2 {[4]->[follows]}
  {{[4]->[follows]}->[3]}
  ({[state]->[is_forward]}*{{[4]->[follows]}->[3]})
  x2 {[5]->[follows]}
  {{[5]->[follows]}->[4]}
  ({[state]->[is_forward]}*{{[5]->[follows]}->[4]})
  {[6]->[follows]}
  {{[6]->[follows]}->[5]}
  ({[state]->[is_forward]}*{{[6]->[follows]}->[5]})
  {[7]->[follows]}
  {{[7]->[follows]}->[6]}
  ({[state]->[is_forward]}*{{[7]->[follows]}->[6]})
  {[8]->[follows]}
  {{[8]->[follows]}->[7]}
  ({[state]->[is_forward]}*{{[8]->[follows]}->[7]})
  {[9]->[follows]}
  {{[9]->[follows]}->[8]}
  ({[state]->[is_forward]}*{{[9]->[follows]}->[8]})
  {{[0]->[follows]}->[1]}
  x6 [is_backward]
  x6 {[state]->[is_backward]}
  ({{[0]->[follows]}->[1]}*{[state]->[is_backward]})
  {{[1]->[follows]}->[2]}
  ({[state]->[is_backward]}*{{[1]->[follows]}->[2]})
  {{[2]->[follows]}->[3]}
  ({[state]->[is_backward]}*{{[2]->[follows]}->[3]})
  {{[3]->[follows]}->[4]}
  ({[state]->[is_backward]}*{{[3]->[follows]}->[4]})
  {{[4]->[follows]}->[5]}
  ({[state]->[is_backward]}*{{[4]->[follows]}->[5]})
  {{[5]->[follows]}->[6]}
  ({[state]->[is_backward]}*{{[5]->[follows]}->[6]})
command> ['test'] ~ {{[6]->[follows]}->[7]}*{[state]->[is_backward]}
  x4 [0]
  x5 [1]
  x10 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  x5 [2]
  {[2]->[is_number]}
  x5 [3]
  {[3]->[is_number]}
  x5 [4]
  {[4]->[is_number]}
  x5 [5]
  {[5]->[is_number]}
  x5 [6]
  {[6]->[is_number]}
  x4 [7]
  {[7]->[is_number]}
  x3 [8]
  {[8]->[is_number]}
  x3 [9]
  {[9]->[is_number]}
  x17 [follows]
  x2 {[0]->[follows]}
  {{[0]->[follows]}->[9]}
  x17 [state]
  x10 [is_forward]
  x10 {[state]->[is_forward]}
  ({{[0]->[follows]}->[9]}*{[state]->[is_forward]})
  x2 {[1]->[follows]}
  {{[1]->[follows]}->[0]}
  ({[state]->[is_forward]}*{{[1]->[follows]}->[0]})
  x2 {[2]->[follows]}
  {{[2]->[follows]}->[1]}
  ({[state]->[is_forward]}*{{[2]->[follows]}->[1]})
  x2 {[3]->[follows]}
  {{[3]->[follows]}->[2]}
  ({[state]->[is_forward]}*{{[3]->[follows]}->[2]})
  x2 {[4]->[follows]}
  {{[4]->[follows]}->[3]}
  ({[state]->[is_forward]}*{{[4]->[follows]}->[3]})
  x2 {[5]->[follows]}
  {{[5]->[follows]}->[4]}
  ({[state]->[is_forward]}*{{[5]->[follows]}->[4]})
  x2 {[6]->[follows]}
  {{[6]->[follows]}->[5]}
  ({[state]->[is_forward]}*{{[6]->[follows]}->[5]})
  {[7]->[follows]}
  {{[7]->[follows]}->[6]}
  ({[state]->[is_forward]}*{{[7]->[follows]}->[6]})
  {[8]->[follows]}
  {{[8]->[follows]}->[7]}
  ({[state]->[is_forward]}*{{[8]->[follows]}->[7]})
  {[9]->[follows]}
  {{[9]->[follows]}->[8]}
  ({[state]->[is_forward]}*{{[9]->[follows]}->[8]})
  {{[0]->[follows]}->[1]}
  x7 [is_backward]
  x7 {[state]->[is_backward]}
  ({{[0]->[follows]}->[1]}*{[state]->[is_backward]})
  {{[1]->[follows]}->[2]}
  ({[state]->[is_backward]}*{{[1]->[follows]}->[2]})
  {{[2]->[follows]}->[3]}
  ({[state]->[is_backward]}*{{[2]->[follows]}->[3]})
  {{[3]->[follows]}->[4]}
  ({[state]->[is_backward]}*{{[3]->[follows]}->[4]})
  {{[4]->[follows]}->[5]}
  ({[state]->[is_backward]}*{{[4]->[follows]}->[5]})
  {{[5]->[follows]}->[6]}
  ({[state]->[is_backward]}*{{[5]->[follows]}->[6]})
  {{[6]->[follows]}->[7]}
  ({[state]->[is_backward]}*{{[6]->[follows]}->[7]})
command> ['test'] ~ {{[7]->[follows]}->[8]}*{[state]->[is_backward]}
  x4 [0]
  x5 [1]
  x10 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  x5 [2]
  {[2]->[is_number]}
  x5 [3]
  {[3]->[is_number]}
  x5 [4]
  {[4]->[is_number]}
  x5 [5]
  {[5]->[is_number]}
  x5 [6]
  {[6]->[is_number]}
  x5 [7]
  {[7]->[is_number]}
  x4 [8]
  {[8]->[is_number]}
  x3 [9]
  {[9]->[is_number]}
  x18 [follows]
  x2 {[0]->[follows]}
  {{[0]->[follows]}->[9]}
  x18 [state]
  x10 [is_forward]
  x10 {[state]->[is_forward]}
  ({{[0]->[follows]}->[9]}*{[state]->[is_forward]})
  x2 {[1]->[follows]}
  {{[1]->[follows]}->[0]}
  ({[state]->[is_forward]}*{{[1]->[follows]}->[0]})
  x2 {[2]->[follows]}
  {{[2]->[follows]}->[1]}
  ({[state]->[is_forward]}*{{[2]->[follows]}->[1]})
  x2 {[3]->[follows]}
  {{[3]->[follows]}->[2]}
  ({[state]->[is_forward]}*{{[3]->[follows]}->[2]})
  x2 {[4]->[follows]}
  {{[4]->[follows]}->[3]}
  ({[state]->[is_forward]}*{{[4]->[follows]}->[3]})
  x2 {[5]->[follows]}
  {{[5]->[follows]}->[4]}
  ({[state]->[is_forward]}*{{[5]->[follows]}->[4]})
  x2 {[6]->[follows]}
  {{[6]->[follows]}->[5]}
  ({[state]->[is_forward]}*{{[6]->[follows]}->[5]})
  x2 {[7]->[follows]}
  {{[7]->[follows]}->[6]}
  ({[state]->[is_forward]}*{{[7]->[follows]}->[6]})
  {[8]->[follows]}
  {{[8]->[follows]}->[7]}
  ({[state]->[is_forward]}*{{[8]->[follows]}->[7]})
  {[9]->[follows]}
  {{[9]->[follows]}->[8]}
  ({[state]->[is_forward]}*{{[9]->[follows]}->[8]})
  {{[0]->[follows]}->[1]}
  x8 [is_backward]
  x8 {[state]->[is_backward]}
  ({{[0]->[follows]}->[1]}*{[state]->[is_backward]})
  {{[1]->[follows]}->[2]}
  ({[state]->[is_backward]}*{{[1]->[follows]}->[2]})
  {{[2]->[follows]}->[3]}
  ({[state]->[is_backward]}*{{[2]->[follows]}->[3]})
  {{[3]->[follows]}->[4]}
  ({[state]->[is_backward]}*{{[3]->[follows]}->[4]})
  {{[4]->[follows]}->[5]}
  ({[state]->[is_backward]}*{{[4]->[follows]}->[5]})
  {{[5]->[follows]}->[6]}
  ({[state]->[is_backward]}*{{[5]->[follows]}->[6]})
  {{[6]->[follows]}->[7]}
  ({[state]->[is_backward]}*{{[6]->[follows]}->[7]})
  {{[7]->[follows]}->[8]}
  ({[state]->[is_backward]}*{{[7]->[follows]}->[8]})
command> ['test'] ~ {{[8]->[follows]}->[9]}*{[state]->[is_backward]}
  x4 [0]
  x5 [1]
  x10 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  x5 [2]
  {[2]->[is_number]}
  x5 [3]
  {[3]->[is_number]}
  x5 [4]
  {[4]->[is_number]}
  x5 [5]
  {[5]->[is_number]}
  x5 [6]
  {[6]->[is_number]}
  x5 [7]
  {[7]->[is_number]}
  x5 [8]
  {[8]->[is_number]}
  x4 [9]
  {[9]->[is_number]}
  x19 [follows]
  x2 {[0]->[follows]}
  {{[0]->[follows]}->[9]}
  x19 [state]
  x10 [is_forward]
  x10 {[state]->[is_forward]}
  ({{[0]->[follows]}->[9]}*{[state]->[is_forward]})
  x2 {[1]->[follows]}
  {{[1]->[follows]}->[0]}
  ({[state]->[is_forward]}*{{[1]->[follows]}->[0]})
  x2 {[2]->[follows]}
  {{[2]->[follows]}->[1]}
  ({[state]->[is_forward]}*{{[2]->[follows]}->[1]})
  x2 {[3]->[follows]}
  {{[3]->[follows]}->[2]}
  ({[state]->[is_forward]}*{{[3]->[follows]}->[2]})
  x2 {[4]->[follows]}
  {{[4]->[follows]}->[3]}
  ({[state]->[is_forward]}*{{[4]->[follows]}->[3]})
  x2 {[5]->[follows]}
  {{[5]->[follows]}->[4]}
  ({[state]->[is_forward]}*{{[5]->[follows]}->[4]})
  x2 {[6]->[follows]}
  {{[6]->[follows]}->[5]}
  ({[state]->[is_forward]}*{{[6]->[follows]}->[5]})
  x2 {[7]->[follows]}
  {{[7]->[follows]}->[6]}
  ({[state]->[is_forward]}*{{[7]->[follows]}->[6]})
  x2 {[8]->[follows]}
  {{[8]->[follows]}->[7]}
  ({[state]->[is_forward]}*{{[8]->[follows]}->[7]})
  {[9]->[follows]}
  {{[9]->[follows]}->[8]}
  ({[state]->[is_forward]}*{{[9]->[follows]}->[8]})
  {{[0]->[follows]}->[1]}
  x9 [is_backward]
  x9 {[state]->[is_backward]}
  ({{[0]->[follows]}->[1]}*{[state]->[is_backward]})
  {{[1]->[follows]}->[2]}
  ({[state]->[is_backward]}*{{[1]->[follows]}->[2]})
  {{[2]->[follows]}->[3]}
  ({[state]->[is_backward]}*{{[2]->[follows]}->[3]})
  {{[3]->[follows]}->[4]}
  ({[state]->[is_backward]}*{{[3]->[follows]}->[4]})
  {{[4]->[follows]}->[5]}
  ({[state]->[is_backward]}*{{[4]->[follows]}->[5]})
  {{[5]->[follows]}->[6]}
  ({[state]->[is_backward]}*{{[5]->[follows]}->[6]})
  {{[6]->[follows]}->[7]}
  ({[state]->[is_backward]}*{{[6]->[follows]}->[7]})
  {{[7]->[follows]}->[8]}
  ({[state]->[is_backward]}*{{[7]->[follows]}->[8]})
  {{[8]->[follows]}->[9]}
  ({[state]->[is_backward]}*{{[8]->[follows]}->[9]})
command> ['test'] ~ {{[9]->[follows]}->[0]}*{[state]->[is_backward]}
  x5 [0]
  x5 [1]
  x10 [is_number]
  {[0]->[is_number]}
  {[1]->[is_number]}
  x5 [2]
  {[2]->[is_number]}
  x5 [3]
  {[3]->[is_number]}
  x5 [4]
  {[4]->[is_number]}
  x5 [5]
  {[5]->[is_number]}
  x5 [6]
  {[6]->[is_number]}
  x5 [7]
  {[7]->[is_number]}
  x5 [8]
  {[8]->[is_number]}
  x5 [9]
  {[9]->[is_number]}
  x20 [follows]
  x2 {[0]->[follows]}
  {{[0]->[follows]}->[9]}
  x20 [state]
  x10 [is_forward]
  x10 {[state]->[is_forward]}
  ({{[0]->[follows]}->[9]}*{[state]->[is_forward]})
  x2 {[1]->[follows]}
  {{[1]->[follows]}->[0]}
  ({[state]->[is_forward]}*{{[1]->[follows]}->[0]})
  x2 {[2]->[follows]}
  {{[2]->[follows]}->[1]}
  ({[state]->[is_forward]}*{{[2]->[follows]}->[1]})
  x2 {[3]->[follows]}
  {{[3]->[follows]}->[2]}
  ({[state]->[is_forward]}*{{[3]->[follows]}->[2]})
  x2 {[4]->[follows]}
  {{[4]->[follows]}->[3]}
  ({[state]->[is_forward]}*{{[4]->[follows]}->[3]})
  x2 {[5]->[follows]}
  {{[5]->[follows]}->[4]}
  ({[state]->[is_forward]}*{{[5]->[follows]}->[4]})
  x2 {[6]->[follows]}
  {{[6]->[follows]}->[5]}
  ({[state]->[is_forward]}*{{[6]->[follows]}->[5]})
  x2 {[7]->[follows]}
  {{[7]->[follows]}->[6]}
  ({[state]->[is_forward]}*{{[7]->[follows]}->[6]})
  x2 {[8]->[follows]}
  {{[8]->[follows]}->[7]}
  ({[state]->[is_forward]}*{{[8]->[follows]}->[7]})
  x2 {[9]->[follows]}
  {{[9]->[follows]}->[8]}
  ({[state]->[is_forward]}*{{[9]->[follows]}->[8]})
  {{[0]->[follows]}->[1]}
  x10 [is_backward]
  x10 {[state]->[is_backward]}
  ({{[0]->[follows]}->[1]}*{[state]->[is_backward]})
  {{[1]->[follows]}->[2]}
  ({[state]->[is_backward]}*{{[1]->[follows]}->[2]})
  {{[2]->[follows]}->[3]}
  ({[state]->[is_backward]}*{{[2]->[follows]}->[3]})
  {{[3]->[follows]}->[4]}
  ({[state]->[is_backward]}*{{[3]->[follows]}->[4]})
  {{[4]->[follows]}->[5]}
  ({[state]->[is_backward]}*{{[4]->[follows]}->[5]})
  {{[5]->[follows]}->[6]}
  ({[state]->[is_backward]}*{{[5]->[follows]}->[6]})
  {{[6]->[follows]}->[7]}
  ({[state]->[is_backward]}*{{[6]->[follows]}->[7]})
  {{[7]->[follows]}->[8]}
  ({[state]->[is_backward]}*{{[7]->[follows]}->[8]})
  {{[8]->[follows]}->[9]}
  ({[state]->[is_backward]}*{{[8]->[follows]}->[9]})
  {{[9]->[follows]}->[0]}
  ({[state]->[is_backward]}*{{[9]->[follows]}->[0]})
command> [success]
  [success]