(E x queta(n,x))):2 states - 0ms
 (A n (E x queta(n,x)))):1 states - 0ms
Total computation time: 1ms.