% benchmark parameters -n2 -N6 -p

list(usable).

f(e,x) = x.
f(g(x),x) = e.
f(f(x,y),z) = f(x,f(y,z)).
f(a,b) != f(b,a).

end_of_list.