s=0:1 states - 0ms
 n=0:1 states - 0ms
  (s=0&n=0):1 states - 0ms
   s=(x+1):4 states - 0ms
    (shift((n-1),x))&s=(x+1)):9 states - 0ms
     (E x (shift((n-1),x))&s=(x+1))):7 states - 0ms
      ((s=0&n=0)|(E x (shift((n-1),x))&s=(x+1)))):7 states - 0ms
Total computation time: 0ms.