x<=n:6 states - 0ms
 i<n:6 states - 0ms
  (i<n&fp(i,y))):23 states - 0ms
   x=(n+y):16 states - 0ms
    ((i<n&fp(i,y)))&x=(n+y)):65 states - 1ms
     (E i , y ((i<n&fp(i,y)))&x=(n+y))):31 states - 1ms
      (x<=n|(E i , y ((i<n&fp(i,y)))&x=(n+y)))):29 states - 1ms
       (fp(n,x))=>(x<=n|(E i , y ((i<n&fp(i,y)))&x=(n+y))))):4 states - 0ms
        (A n , x (fp(n,x))=>(x<=n|(E i , y ((i<n&fp(i,y)))&x=(n+y)))))):1 states - 0ms
Total computation time: 4ms.