n>=1:3 states - 0ms
 (n>=1&fp(n,x))):8 states - 1ms
  x<(2*n):15 states - 1ms
   ((n>=1&fp(n,x)))=>x<(2*n)):4 states - 0ms
    (A n , x ((n>=1&fp(n,x)))=>x<(2*n))):1 states - 0ms
Total computation time: 2ms.