% benchmark parameters -n6 -m1000 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.