x>=2:4 states - 0ms
 (adjfib(x,y))&x>=2):4 states - 0ms
  ((adjfib(x,y))&x>=2)=>zp(x,y))):4 states - 0ms
   (A x , y ((adjfib(x,y))&x>=2)=>zp(x,y)))):1 states - 0ms
Total computation time: 0ms.