n>=6:8 states - 0ms
 (n>=6&h(n,x))):14 states - 0ms
  (x+2)<=n:9 states - 0ms
   ((n>=6&h(n,x)))=>(x+2)<=n):4 states - 0ms
    (A n , x ((n>=6&h(n,x)))=>(x+2)<=n)):1 states - 0ms
Total computation time: 0ms.