f(f(f(v0,v2),v2),f(f(f(v2,v1),f(v0,v2)),f(f(v0,v0),v1))) = v2.
f(f(f(v0,v2),v2),f(f(f(v1,v2),f(v0,v2)),f(v1,f(v0,v0)))) = v2.
f(f(f(v0,v2),v2),f(f(v1,f(v0,v0)),f(f(v2,v1),f(v2,v0)))) = v2.
f(f(f(v0,v2),v2),f(f(v1,f(v0,v0)),f(f(v0,v2),f(v2,v1)))) = v2.
f(f(f(v0,f(v0,v2)),v0),f(v2,f(v2,f(f(v1,v0),f(v3,v0))))) = v2.
f(f(f(v0,f(v0,v2)),v0),f(v2,f(v2,f(f(v1,v0),f(v0,v3))))) = v2.
f(f(f(v0,f(v0,v2)),v0),f(v2,f(v2,f(f(v0,v1),f(v3,v0))))) = v2.
f(f(f(v0,f(v0,v2)),v0),f(v2,f(v2,f(f(v0,v1),f(v0,v3))))) = v2.
f(f(v0,f(v0,f(v2,v0))),f(v2,f(v2,f(f(v1,v0),f(v3,v0))))) = v2.
f(f(v0,f(v0,f(v2,v0))),f(v2,f(v2,f(f(v1,v0),f(v0,v3))))) = v2.
f(f(v0,f(v0,f(v2,v0))),f(v2,f(v2,f(f(v0,v1),f(v3,v0))))) = v2.
f(f(v0,f(v0,f(v2,v0))),f(v2,f(v2,f(f(v0,v1),f(v0,v3))))) = v2.
f(f(v0,f(v0,f(v0,v2))),f(v2,f(v2,f(f(v1,v0),f(v3,v0))))) = v2.
f(f(v0,f(v0,f(v0,v2))),f(v2,f(v2,f(f(v1,v0),f(v0,v3))))) = v2.
f(f(v0,f(v0,f(v0,v2))),f(v2,f(v2,f(f(v0,v1),f(v3,v0))))) = v2.
f(f(v0,f(v0,f(v0,v2))),f(v2,f(v2,f(f(v0,v1),f(v0,v3))))) = v2.
f(f(f(v0,v2),v2),f(f(f(f(f(v0,v0),v1),v2),f(v3,v2)),v0)) = v2.
f(f(f(v0,v2),v2),f(f(f(f(v1,f(v0,v0)),v2),f(v3,v2)),v0)) = v2.
f(f(f(v0,v2),v2),f(f(f(v2,v1),f(f(f(v0,v0),v3),v2)),v0)) = v2.
f(f(f(v0,v2),v2),f(f(f(v1,v2),f(f(f(v0,v0),v3),v2)),v0)) = v2.
f(f(f(v0,v2),v2),f(f(f(v2,v1),f(f(v3,f(v0,v0)),v2)),v0)) = v2.
f(f(f(v0,v2),v2),f(f(f(v1,v2),f(f(v3,f(v0,v0)),v2)),v0)) = v2.
f(f(f(v0,v2),v2),f(f(f(v2,v1),f(v0,v2)),f(f(v0,v0),v3))) = v2.
f(f(f(v0,v2),v2),f(f(f(v1,v2),f(v0,v2)),f(f(v0,v0),v3))) = v2.
f(f(f(v0,v2),v2),f(f(f(v0,v2),f(v1,v2)),f(f(v0,v0),v3))) = v2.
f(f(f(v0,v2),v2),f(f(f(v2,v1),f(v0,v2)),f(f(v2,v2),v3))) = v2.
f(f(f(v0,v2),v2),f(f(f(v1,v2),f(v0,v2)),f(f(v2,v2),v3))) = v2.
f(f(f(v0,v2),v2),f(f(f(v0,v2),f(v1,v2)),f(f(v2,v2),v3))) = v2.
f(f(f(v0,v2),v2),f(f(f(v2,v1),f(v0,v2)),f(v3,f(v0,v0)))) = v2.
f(f(f(v0,v2),v2),f(f(f(v1,v2),f(v0,v2)),f(v3,f(v0,v0)))) = v2.
f(f(f(v0,v2),v2),f(f(f(v0,v2),f(v1,v2)),f(v3,f(v0,v0)))) = v2.
f(f(f(v0,v2),v2),f(f(f(v0,v0),v1),f(f(v3,v2),f(v2,v0)))) = v2.
f(f(f(v0,v2),v2),f(f(f(v0,v0),v1),f(f(v2,v3),f(v2,v0)))) = v2.
f(f(f(v0,v2),v2),f(f(f(v0,v0),v1),f(f(v2,v0),f(v2,v3)))) = v2.
f(f(f(v0,v2),v2),f(f(f(v0,v0),v1),f(f(v0,v2),f(v2,v3)))) = v2.
f(f(f(v0,v2),v2),f(f(f(v2,v2),v1),f(f(v3,v2),f(v2,v0)))) = v2.
f(f(f(v0,v2),v2),f(f(f(v2,v2),v1),f(f(v0,v2),f(v2,v3)))) = v2.
f(f(f(v0,v2),v2),f(f(v1,f(v0,v0)),f(f(v3,v2),f(v2,v0)))) = v2.
f(f(f(v0,v2),v2),f(f(v1,f(v0,v0)),f(f(v2,v3),f(v2,v0)))) = v2.
f(f(f(v0,v2),v2),f(f(v1,f(v0,v0)),f(f(v2,v0),f(v2,v3)))) = v2.
f(f(f(v0,v2),v2),f(f(v1,f(v0,v0)),f(f(v0,v2),f(v2,v3)))) = v2.
f(f(f(v0,v2),v2),f(v0,f(f(f(f(v0,v0),v1),v2),f(v2,v3)))) = v2.
f(f(f(v0,v2),v2),f(v0,f(f(f(v1,f(v0,v0)),v2),f(v2,v3)))) = v2.
f(f(f(v0,v2),v2),f(v0,f(f(v2,f(f(v0,v0),v1)),f(v2,v3)))) = v2.
f(f(f(v0,v2),v2),f(v0,f(f(v2,f(v1,f(v0,v0))),f(v2,v3)))) = v2.
f(f(f(v0,v2),v2),f(v0,f(f(v2,v1),f(v2,f(f(v0,v0),v3))))) = v2.
f(f(f(v0,v2),v2),f(v0,f(f(v1,v2),f(v2,f(f(v0,v0),v3))))) = v2.
f(f(f(v0,v2),v2),f(v0,f(f(v2,v1),f(v2,f(v3,f(v0,v0)))))) = v2.
f(f(f(v0,v2),v2),f(v0,f(f(v1,v2),f(v2,f(v3,f(v0,v0)))))) = v2.
f(f(v0,v2),f(f(f(f(v2,v0),v2),f(v1,v2)),f(f(v2,v2),v3))) = v2.
f(f(v0,v2),f(f(f(f(v0,v2),v2),f(v1,v2)),f(f(v2,v2),v3))) = v2.
f(f(v0,v2),f(f(f(v2,f(v2,v0)),f(v1,v2)),f(f(v2,v2),v3))) = v2.
f(f(v0,v2),f(f(f(v2,f(v0,v2)),f(v1,v2)),f(f(v2,v2),v3))) = v2.
f(f(v0,v2),f(f(f(v2,v2),v1),f(f(f(v2,v0),v2),f(v2,v3)))) = v2.
f(f(v0,v2),f(f(f(v2,v2),v1),f(f(f(v0,v2),v2),f(v2,v3)))) = v2.
f(f(v0,v2),f(f(f(v2,v2),v1),f(f(v2,f(v2,v0)),f(v2,v3)))) = v2.
f(f(v0,v2),f(f(f(v2,v2),v1),f(f(v2,f(v0,v2)),f(v2,v3)))) = v2.
f(f(v0,v2),f(f(f(v2,v2),v1),f(f(v2,v3),f(v2,f(v2,v0))))) = v2.