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