f(f(f(v0,v0),v0),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(v0,v1),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(v0,v1),v2),f(v2,f(f(v0,v0),v0))) = v2.
f(f(f(v0,v0),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(v0,v2),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(v0,v0),v0),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(v0,v1),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(v0,v1),v2),f(v2,f(f(v2,v2),v0))) = v2.
f(f(f(v0,v0),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(v0,v2),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(v0,v1),v2),f(v2,f(f(v3,v3),v3))) = v2.
f(f(f(v0,v1),v2),f(v2,f(f(v2,v2),v3))) = v2.
f(f(f(v0,v0),v0),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(v0,v1),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(v0,v1),v2),f(v2,f(v0,f(v0,v0)))) = v2.
f(f(f(v0,v0),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(v0,v2),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(v0,v1),v2),f(v2,f(v3,f(v3,v3)))) = v2.
f(f(v0,f(v0,v0)),f(v2,f(f(v1,v1),v1))) = v2.
f(f(v0,f(v0,v0)),f(v2,f(f(v2,v2),v1))) = v2.
f(f(v0,f(v0,v0)),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v1,v1)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v1,v0)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v0,v1)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v2,v1)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v1,v3)))) = v2.
% frogmen: ../../assoc/15, ../../ops/15, ../../args/15: generated 40344, user 0.03, system 0.00.
% modfilter ../../../interps/BA.2 true_in_all: checked 40344, passed 298, 0.32 seconds.
% olfilter: checked 298, passed 26, user 0.00, system 0.00.