(h(n,x))&h((n+1),y))):12 states - 0ms
 ((h(n,x))&h((n+1),y)))&f((n+1),z))):21 states - 0ms
  y=(x+1):4 states - 1ms
   z=((x+n)+1):16 states - 0ms
    (y=(x+1)<=>z=((x+n)+1)):134 states - 3ms
     (((h(n,x))&h((n+1),y)))&f((n+1),z)))=>(y=(x+1)<=>z=((x+n)+1))):16 states - 1ms
      (A n , x , y , z (((h(n,x))&h((n+1),y)))&f((n+1),z)))=>(y=(x+1)<=>z=((x+n)+1)))):1 states - 1ms
Total computation time: 7ms.