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)&z(i,r))):48 states - 1ms
        r!=w:6 states - 0ms
         (((i>=1&i<n)&z(i,r)))=>r!=w):71 states - 6ms
          (A i , r (((i>=1&i<n)&z(i,r)))=>r!=w)):39 states - 2ms
           ((((n>2&zp(n,x)))&mp(n,y)))&mp((n-1),w)))&(A i , r (((i>=1&i<n)&z(i,r)))=>r!=w))):9 states - 0ms
            x=w:2 states - 0ms
             y=w:2 states - 0ms
              (x=w&y=w):2 states - 1ms
               (((((n>2&zp(n,x)))&mp(n,y)))&mp((n-1),w)))&(A i , r (((i>=1&i<n)&z(i,r)))=>r!=w)))=>(x=w&y=w)):16 states - 0ms
                (A n , x , y , w (((((n>2&zp(n,x)))&mp(n,y)))&mp((n-1),w)))&(A i , r (((i>=1&i<n)&z(i,r)))=>r!=w)))=>(x=w&y=w))):1 states - 0ms
Total computation time: 11ms.