i<x:6 states - 0ms
 (queta((n+3),x))&i<x):72 states - 1ms
  (E x (queta((n+3),x))&i<x)):52 states - 0ms
Total computation time: 2ms.