n>2:5 states - 0ms
 (n>2&zp(n,x))):18 states - 0ms
  ((n>2&zp(n,x)))&mp(n,y))):20 states - 0ms
   (((n>2&zp(n,x)))&mp(n,y)))&mp((n-1),w))):22 states - 0ms
    i>=1:3 states - 0ms
     i<n:6 states - 0ms
      (i>=1&i<n):9 states - 0ms
       ((i>=1&i<n)&zp(i,r))):48 states - 0ms
        r=w:2 states - 0ms
         (((i>=1&i<n)&zp(i,r)))&r=w):48 states - 0ms
          (E i , r (((i>=1&i<n)&zp(i,r)))&r=w)):39 states - 0ms
           ((((n>2&zp(n,x)))&mp(n,y)))&mp((n-1),w)))&(E i , r (((i>=1&i<n)&zp(i,r)))&r=w))):14 states - 0ms
            x=((w+n)+1):16 states - 1ms
             y=(w+1):4 states - 0ms
              (x=((w+n)+1)&y=(w+1)):24 states - 0ms
               (((((n>2&zp(n,x)))&mp(n,y)))&mp((n-1),w)))&(E i , r (((i>=1&i<n)&zp(i,r)))&r=w)))=>(x=((w+n)+1)&y=(w+1))):16 states - 0ms
                (A n , x , y , w (((((n>2&zp(n,x)))&mp(n,y)))&mp((n-1),w)))&(E i , r (((i>=1&i<n)&zp(i,r)))&r=w)))=>(x=((w+n)+1)&y=(w+1)))):1 states - 1ms
Total computation time: 3ms.