n>=2:4 states - 0ms
 (n>=2&quetb(n,x))):17 states - 0ms
  ((n>=2&quetb(n,x)))&ha((n-2),y))):23 states - 0ms
   x=(y+2):7 states - 0ms
    (((n>=2&quetb(n,x)))&ha((n-2),y)))=>x=(y+2)):8 states - 0ms
     (A n , x , y (((n>=2&quetb(n,x)))&ha((n-2),y)))=>x=(y+2))):1 states - 1ms
Total computation time: 2ms.