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