(zp(n1,x))&zp(n2,x))):18 states - 0ms
 (E x (zp(n1,x))&zp(n2,x)))):2 states - 0ms
  n1=n2:2 states - 0ms
   ((E x (zp(n1,x))&zp(n2,x))))=>n1=n2):4 states - 0ms
    (A n1 , n2 ((E x (zp(n1,x))&zp(n2,x))))=>n1=n2)):1 states - 1ms
Total computation time: 1ms.