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