(phi2n(k,n))&phin(k,x))):8 states - 0ms
 ~isfib(n)):5 states - 0ms
  ((phi2n(k,n))&phin(k,x)))&~isfib(n))):12 states - 0ms
   ~isfib((n+1))):5 states - 0ms
    (((phi2n(k,n))&phin(k,x)))&~isfib(n)))&~isfib((n+1)))):11 states - 0ms
     ((((phi2n(k,n))&phin(k,x)))&~isfib(n)))&~isfib((n+1))))=>zp(n,x))):8 states - 0ms
      (A k , n , x ((((phi2n(k,n))&phin(k,x)))&~isfib(n)))&~isfib((n+1))))=>zp(n,x)))):1 states - 0ms
Total computation time: 1ms.