f(f(f(f(v0,v1),v1),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(f(v0,v1),v0),v2),f(v2,f(f(v0,v0),v0))) = v2.
f(f(f(f(v0,v0),v1),v2),f(v2,f(f(v0,v0),v0))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v1,v0),v0))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v0,v1),v0))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v0,v0),v1))) = v2.
f(f(f(f(v0,v1),v1),v2),f(v2,f(f(v0,v0),v0))) = v2.
f(f(f(f(v0,v1),v0),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(f(v0,v0),v1),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v1,v1),v0))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v1,v0),v1))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v0,v1),v1))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(f(v0,v2),v1),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(f(v0,v2),v1),v2),f(v2,f(f(v0,v0),v0))) = v2.
f(f(f(f(v0,v1),v2),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(f(v0,v1),v2),v2),f(v2,f(f(v0,v0),v0))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v2,v1),v0))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v2,v0),v1))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v1,v2),v0))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v0,v2),v1))) = v2.
f(f(f(f(v0,v2),v0),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(f(v0,v0),v2),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v2,v1),v1))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v1,v2),v1))) = v2.
f(f(f(f(v0,v2),v2),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(f(v0,v1),v1),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(f(v0,v1),v0),v2),f(v2,f(f(v2,v2),v0))) = v2.
f(f(f(f(v0,v0),v1),v2),f(v2,f(f(v2,v2),v0))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(f(v0,v1),v1),v2),f(v2,f(f(v2,v2),v0))) = v2.
f(f(f(f(v0,v1),v0),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(f(v0,v0),v1),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(f(v0,v2),v1),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(f(v0,v2),v1),v2),f(v2,f(f(v2,v2),v0))) = v2.
f(f(f(f(v0,v2),v0),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(f(v0,v1),v2),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(f(v0,v1),v2),v2),f(v2,f(f(v2,v2),v0))) = v2.
f(f(f(f(v0,v0),v2),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(f(v0,v2),v2),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(f(v0,v1),v3),v2),f(v2,f(f(v3,v3),v3))) = v2.
f(f(f(f(v0,v1),v3),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(f(v0,v1),v3),v2),f(v2,f(f(v0,v0),v0))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v1,v3),v0))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v1,v0),v3))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v0,v1),v3))) = v2.
f(f(f(f(v0,v1),v1),v2),f(v2,f(f(v3,v3),v3))) = v2.
f(f(f(f(v0,v1),v0),v2),f(v2,f(f(v3,v3),v3))) = v2.
f(f(f(f(v0,v0),v1),v2),f(v2,f(f(v3,v3),v3))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v1,v3),v3))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v1,v3),v1))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v1,v1),v3))) = v2.
f(f(f(f(v0,v2),v1),v2),f(v2,f(f(v3,v3),v3))) = v2.
f(f(f(f(v0,v1),v2),v2),f(v2,f(f(v3,v3),v3))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v2,v1),v3))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v1,v2),v3))) = v2.
f(f(f(f(v0,v1),v3),v2),f(v2,f(f(v2,v2),v3))) = v2.
f(f(f(f(v0,v1),v3),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(f(v0,v1),v3),v2),f(v2,f(f(v2,v2),v0))) = v2.
f(f(f(f(v0,v1),v1),v2),f(v2,f(f(v2,v2),v3))) = v2.
f(f(f(f(v0,v1),v0),v2),f(v2,f(f(v2,v2),v3))) = v2.
f(f(f(f(v0,v0),v1),v2),f(v2,f(f(v2,v2),v3))) = v2.
f(f(f(f(v0,v2),v1),v2),f(v2,f(f(v2,v2),v3))) = v2.
f(f(f(f(v0,v1),v2),v2),f(v2,f(f(v2,v2),v3))) = v2.
f(f(f(f(v0,v1),v3),v2),f(v2,f(f(v4,v4),v4))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(f(v1,v3),v4))) = v2.
f(f(f(f(v0,v1),v3),v2),f(v2,f(f(v2,v2),v4))) = v2.
f(f(f(f(v0,v1),v1),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(f(v0,v1),v0),v2),f(v2,f(v0,f(v0,v0)))) = v2.
f(f(f(f(v0,v0),v1),v2),f(v2,f(v0,f(v0,v0)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v1,f(v0,v0)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v0,f(v1,v0)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v0,f(v0,v1)))) = v2.
f(f(f(f(v0,v1),v1),v2),f(v2,f(v0,f(v0,v0)))) = v2.
f(f(f(f(v0,v1),v0),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(f(v0,v0),v1),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v1,f(v1,v0)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v1,f(v0,v1)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v0,f(v1,v1)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(f(v0,v2),v1),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(f(v0,v2),v1),v2),f(v2,f(v0,f(v0,v0)))) = v2.
f(f(f(f(v0,v1),v2),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(f(v0,v1),v2),v2),f(v2,f(v0,f(v0,v0)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v2,f(v1,v0)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v2,f(v0,v1)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v1,f(v2,v0)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v0,f(v2,v1)))) = v2.
f(f(f(f(v0,v2),v0),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(f(v0,v0),v2),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v2,f(v1,v1)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v1,f(v2,v1)))) = v2.
f(f(f(f(v0,v2),v2),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v2,f(v2,v1)))) = v2.
f(f(f(f(v0,v1),v3),v2),f(v2,f(v3,f(v3,v3)))) = v2.
f(f(f(f(v0,v1),v3),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(f(v0,v1),v3),v2),f(v2,f(v0,f(v0,v0)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v1,f(v3,v0)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v1,f(v0,v3)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v0,f(v1,v3)))) = v2.
f(f(f(f(v0,v1),v1),v2),f(v2,f(v3,f(v3,v3)))) = v2.
f(f(f(f(v0,v1),v0),v2),f(v2,f(v3,f(v3,v3)))) = v2.
f(f(f(f(v0,v0),v1),v2),f(v2,f(v3,f(v3,v3)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v1,f(v3,v3)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v1,f(v3,v1)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v1,f(v1,v3)))) = v2.
f(f(f(f(v0,v2),v1),v2),f(v2,f(v3,f(v3,v3)))) = v2.
f(f(f(f(v0,v1),v2),v2),f(v2,f(v3,f(v3,v3)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v2,f(v1,v3)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v1,f(v2,v3)))) = v2.
f(f(f(f(v0,v1),v3),v2),f(v2,f(v4,f(v4,v4)))) = v2.
f(f(f(f(v0,v0),v0),v2),f(v2,f(v1,f(v3,v4)))) = v2.
f(f(f(v0,f(v1,v1)),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(v0,f(v1,v0)),v2),f(v2,f(f(v0,v0),v0))) = v2.
f(f(f(v0,f(v0,v1)),v2),f(v2,f(f(v0,v0),v0))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v1,v0),v0))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v0,v1),v0))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v0,v0),v1))) = v2.
f(f(f(v0,f(v1,v1)),v2),f(v2,f(f(v0,v0),v0))) = v2.
f(f(f(v0,f(v1,v0)),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(v0,f(v0,v1)),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v1,v1),v0))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v1,v0),v1))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v0,v1),v1))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(v0,f(v2,v1)),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(v0,f(v2,v1)),v2),f(v2,f(f(v0,v0),v0))) = v2.
f(f(f(v0,f(v1,v2)),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(v0,f(v1,v2)),v2),f(v2,f(f(v0,v0),v0))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v2,v1),v0))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v2,v0),v1))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v1,v2),v0))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v0,v2),v1))) = v2.
f(f(f(v0,f(v2,v0)),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(v0,f(v0,v2)),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v2,v1),v1))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v1,v2),v1))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v1,v0),v0))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v0,v1),v0))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v0,v0),v1))) = v2.
f(f(f(v0,f(v1,v1)),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(v0,f(v1,v0)),v2),f(v2,f(f(v2,v2),v0))) = v2.
f(f(f(v0,f(v0,v1)),v2),f(v2,f(f(v2,v2),v0))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v1,v1),v0))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v1,v0),v1))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v0,v1),v1))) = v2.
f(f(f(v0,f(v1,v1)),v2),f(v2,f(f(v2,v2),v0))) = v2.
f(f(f(v0,f(v1,v0)),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(v0,f(v0,v1)),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v2,v1),v1))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v2,v1),v0))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v2,v0),v1))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v1,v2),v1))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v1,v2),v0))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v0,v2),v1))) = v2.
f(f(f(v0,f(v2,v1)),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(v0,f(v2,v1)),v2),f(v2,f(f(v2,v2),v0))) = v2.
f(f(f(v0,f(v2,v0)),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(v0,f(v1,v2)),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(v0,f(v1,v2)),v2),f(v2,f(f(v2,v2),v0))) = v2.
f(f(f(v0,f(v0,v2)),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(v0,f(v1,v3)),v2),f(v2,f(f(v3,v3),v3))) = v2.
f(f(f(v0,f(v1,v3)),v2),f(v2,f(f(v1,v1),v1))) = v2.
f(f(f(v0,f(v1,v3)),v2),f(v2,f(f(v0,v0),v0))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v1,v3),v0))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v1,v0),v3))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v0,v1),v3))) = v2.
f(f(f(v0,f(v1,v1)),v2),f(v2,f(f(v3,v3),v3))) = v2.
f(f(f(v0,f(v1,v0)),v2),f(v2,f(f(v3,v3),v3))) = v2.
f(f(f(v0,f(v0,v1)),v2),f(v2,f(f(v3,v3),v3))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v1,v3),v3))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v1,v3),v1))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v1,v1),v3))) = v2.
f(f(f(v0,f(v2,v1)),v2),f(v2,f(f(v3,v3),v3))) = v2.
f(f(f(v0,f(v1,v2)),v2),f(v2,f(f(v3,v3),v3))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v2,v1),v3))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v1,v2),v3))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v1,v3),v3))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v1,v3),v1))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v1,v3),v0))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v1,v1),v3))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v1,v0),v3))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v0,v1),v3))) = v2.
f(f(f(v0,f(v1,v3)),v2),f(v2,f(f(v2,v2),v3))) = v2.
f(f(f(v0,f(v1,v3)),v2),f(v2,f(f(v2,v2),v1))) = v2.
f(f(f(v0,f(v1,v3)),v2),f(v2,f(f(v2,v2),v0))) = v2.
f(f(f(v0,f(v1,v1)),v2),f(v2,f(f(v2,v2),v3))) = v2.
f(f(f(v0,f(v1,v0)),v2),f(v2,f(f(v2,v2),v3))) = v2.
f(f(f(v0,f(v0,v1)),v2),f(v2,f(f(v2,v2),v3))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v2,v1),v3))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v1,v2),v3))) = v2.
f(f(f(v0,f(v2,v1)),v2),f(v2,f(f(v2,v2),v3))) = v2.
f(f(f(v0,f(v1,v2)),v2),f(v2,f(f(v2,v2),v3))) = v2.
f(f(f(v0,f(v1,v3)),v2),f(v2,f(f(v4,v4),v4))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(f(v1,v3),v4))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(f(v1,v3),v4))) = v2.
f(f(f(v0,f(v1,v3)),v2),f(v2,f(f(v2,v2),v4))) = v2.
f(f(f(v0,f(v1,v1)),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(v0,f(v1,v0)),v2),f(v2,f(v0,f(v0,v0)))) = v2.
f(f(f(v0,f(v0,v1)),v2),f(v2,f(v0,f(v0,v0)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v1,f(v0,v0)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v0,f(v1,v0)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v0,f(v0,v1)))) = v2.
f(f(f(v0,f(v1,v1)),v2),f(v2,f(v0,f(v0,v0)))) = v2.
f(f(f(v0,f(v1,v0)),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(v0,f(v0,v1)),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v1,f(v1,v0)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v1,f(v0,v1)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v0,f(v1,v1)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(v0,f(v2,v1)),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(v0,f(v2,v1)),v2),f(v2,f(v0,f(v0,v0)))) = v2.
f(f(f(v0,f(v1,v2)),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(v0,f(v1,v2)),v2),f(v2,f(v0,f(v0,v0)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v2,f(v1,v0)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v2,f(v0,v1)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v1,f(v2,v0)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v0,f(v2,v1)))) = v2.
f(f(f(v0,f(v2,v0)),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(v0,f(v0,v2)),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v2,f(v1,v1)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v1,f(v2,v1)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v1,f(v0,v0)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v0,f(v1,v0)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v0,f(v0,v1)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v2,f(v2,v1)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v1,f(v1,v0)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v1,f(v0,v1)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v0,f(v1,v1)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v2,f(v1,v1)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v2,f(v1,v0)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v2,f(v0,v1)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v1,f(v2,v1)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v1,f(v2,v0)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v0,f(v2,v1)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v2,f(v2,v1)))) = v2.
f(f(f(v0,f(v1,v3)),v2),f(v2,f(v3,f(v3,v3)))) = v2.
f(f(f(v0,f(v1,v3)),v2),f(v2,f(v1,f(v1,v1)))) = v2.
f(f(f(v0,f(v1,v3)),v2),f(v2,f(v0,f(v0,v0)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v1,f(v3,v0)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v1,f(v0,v3)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v0,f(v1,v3)))) = v2.
f(f(f(v0,f(v1,v1)),v2),f(v2,f(v3,f(v3,v3)))) = v2.
f(f(f(v0,f(v1,v0)),v2),f(v2,f(v3,f(v3,v3)))) = v2.
f(f(f(v0,f(v0,v1)),v2),f(v2,f(v3,f(v3,v3)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v1,f(v3,v3)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v1,f(v3,v1)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v1,f(v1,v3)))) = v2.
f(f(f(v0,f(v2,v1)),v2),f(v2,f(v3,f(v3,v3)))) = v2.
f(f(f(v0,f(v1,v2)),v2),f(v2,f(v3,f(v3,v3)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v2,f(v1,v3)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v1,f(v2,v3)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v1,f(v3,v3)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v1,f(v3,v1)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v1,f(v3,v0)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v1,f(v1,v3)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v1,f(v0,v3)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v0,f(v1,v3)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v2,f(v1,v3)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v1,f(v2,v3)))) = v2.
f(f(f(v0,f(v1,v3)),v2),f(v2,f(v4,f(v4,v4)))) = v2.
f(f(f(v0,f(v0,v0)),v2),f(v2,f(v1,f(v3,v4)))) = v2.
f(f(f(v0,f(v2,v2)),v2),f(v2,f(v1,f(v3,v4)))) = v2.
f(f(f(v0,v0),v0),f(v2,f(f(v2,v2),f(v1,v0)))) = v2.
f(f(f(v0,v0),v0),f(v2,f(f(v2,v2),f(v0,v1)))) = v2.
f(f(f(v0,v0),v0),f(v2,f(f(v2,v2),f(v1,v1)))) = v2.
f(f(f(v0,v1),v2),f(v2,f(f(v2,v2),f(v1,v1)))) = v2.
f(f(f(v0,v1),v2),f(v2,f(f(v2,v2),f(v0,v0)))) = v2.
f(f(f(v0,v0),v2),f(v2,f(f(v2,v2),f(v1,v0)))) = v2.
f(f(f(v0,v0),v2),f(v2,f(f(v2,v2),f(v0,v1)))) = v2.
f(f(f(v0,v0),v0),f(v2,f(f(v2,v2),f(v2,v1)))) = v2.
f(f(f(v0,v1),v2),f(v2,f(f(v2,v2),f(v1,v0)))) = v2.
f(f(f(v0,v1),v2),f(v2,f(f(v2,v2),f(v0,v1)))) = v2.
f(f(f(v0,v0),v2),f(v2,f(f(v2,v2),f(v1,v1)))) = v2.
f(f(f(v0,v2),v2),f(v2,f(f(v2,v2),f(v1,v1)))) = v2.
f(f(f(v0,v2),v2),f(v2,f(f(v2,v2),f(v1,v0)))) = v2.
f(f(f(v0,v2),v2),f(v2,f(f(v2,v2),f(v0,v1)))) = v2.
f(f(f(v0,v1),v2),f(v2,f(f(v2,v2),f(v2,v1)))) = v2.
f(f(f(v0,v1),v2),f(v2,f(f(v2,v2),f(v2,v0)))) = v2.
f(f(f(v0,v0),v2),f(v2,f(f(v2,v2),f(v2,v1)))) = v2.
f(f(f(v0,v2),v2),f(v2,f(f(v2,v2),f(v2,v1)))) = v2.
f(f(f(v0,v0),v0),f(v2,f(f(v2,v2),f(v1,v3)))) = v2.
f(f(f(v0,v1),v2),f(v2,f(f(v2,v2),f(v3,v3)))) = v2.
f(f(f(v0,v1),v2),f(v2,f(f(v2,v2),f(v3,v1)))) = v2.
f(f(f(v0,v1),v2),f(v2,f(f(v2,v2),f(v3,v0)))) = v2.
f(f(f(v0,v1),v2),f(v2,f(f(v2,v2),f(v1,v3)))) = v2.
f(f(f(v0,v1),v2),f(v2,f(f(v2,v2),f(v0,v3)))) = v2.
f(f(f(v0,v0),v2),f(v2,f(f(v2,v2),f(v1,v3)))) = v2.
f(f(f(v0,v2),v2),f(v2,f(f(v2,v2),f(v1,v3)))) = v2.
f(f(f(v0,v1),v2),f(v2,f(f(v2,v2),f(v2,v3)))) = v2.
f(f(f(v0,v1),v2),f(v2,f(f(v2,v2),f(v3,v4)))) = v2.
f(f(v0,f(v0,v0)),f(v2,f(f(v2,v2),f(v1,v0)))) = v2.
f(f(v0,f(v0,v0)),f(v2,f(f(v2,v2),f(v0,v1)))) = v2.
f(f(v0,f(v0,v0)),f(v2,f(f(v2,v2),f(v1,v1)))) = v2.
f(f(v0,f(v0,v0)),f(v2,f(f(v2,v2),f(v2,v1)))) = v2.
f(f(v0,f(v0,v0)),f(v2,f(f(v2,v2),f(v1,v3)))) = v2.
f(f(v0,v2),f(v2,f(f(f(f(v1,v1),v1),v1),v1))) = v2.
f(f(v0,v2),f(v2,f(f(f(f(v0,v0),v1),v0),v0))) = v2.
f(f(v0,v2),f(v2,f(f(f(f(v1,v1),v0),v1),v1))) = v2.
f(f(v0,v2),f(v2,f(f(f(f(v0,v0),v0),v1),v1))) = v2.
f(f(v0,v2),f(v2,f(f(f(f(v1,v1),v1),v0),v0))) = v2.
f(f(v0,v2),f(v2,f(f(f(f(v1,v1),v2),v1),v1))) = v2.
f(f(v0,v2),f(v2,f(f(f(f(v1,v1),v1),v2),v1))) = v2.
f(f(v0,v2),f(v2,f(f(f(f(v0,v0),v0),v2),v1))) = v2.
f(f(v0,v2),f(v2,f(f(f(f(v1,v1),v1),v2),v0))) = v2.
f(f(v0,v2),f(v2,f(f(f(f(v2,v2),v2),v1),v1))) = v2.
f(f(v0,v2),f(v2,f(f(f(f(v2,v2),v1),v2),v1))) = v2.
f(f(v0,v2),f(v2,f(f(f(f(v2,v2),v1),v2),v0))) = v2.
f(f(v0,v2),f(v2,f(f(f(f(v2,v2),v0),v2),v1))) = v2.
f(f(v0,v2),f(v2,f(f(f(f(v2,v2),v2),v2),v1))) = v2.
f(f(v0,v2),f(v2,f(f(f(f(v1,v1),v3),v1),v1))) = v2.
f(f(v0,v2),f(v2,f(f(f(f(v1,v1),v1),v3),v3))) = v2.
f(f(v0,v2),f(v2,f(f(f(f(v1,v1),v1),v2),v3))) = v2.
f(f(v0,v2),f(v2,f(f(f(f(v2,v2),v1),v2),v3))) = v2.
f(f(v0,v2),f(v2,f(f(f(v1,f(v1,v1)),v1),v1))) = v2.
f(f(v0,v2),f(v2,f(f(f(v1,f(v0,v0)),v0),v0))) = v2.
f(f(v0,v2),f(v2,f(f(f(v0,f(v1,v1)),v1),v1))) = v2.
f(f(v0,v2),f(v2,f(f(f(v0,f(v0,v0)),v1),v1))) = v2.
f(f(v0,v2),f(v2,f(f(f(v1,f(v1,v1)),v0),v0))) = v2.
f(f(v0,v2),f(v2,f(f(f(v2,f(v1,v1)),v1),v1))) = v2.
f(f(v0,v2),f(v2,f(f(f(v1,f(v1,v1)),v2),v1))) = v2.
f(f(v0,v2),f(v2,f(f(f(v0,f(v0,v0)),v2),v1))) = v2.
f(f(v0,v2),f(v2,f(f(f(v1,f(v1,v1)),v2),v0))) = v2.
f(f(v0,v2),f(v2,f(f(f(v2,f(v2,v2)),v1),v1))) = v2.
f(f(v0,v2),f(v2,f(f(f(v1,f(v2,v2)),v2),v1))) = v2.
f(f(v0,v2),f(v2,f(f(f(v1,f(v2,v2)),v2),v0))) = v2.
f(f(v0,v2),f(v2,f(f(f(v0,f(v2,v2)),v2),v1))) = v2.
f(f(v0,v2),f(v2,f(f(f(v2,f(v2,v2)),v2),v1))) = v2.
f(f(v0,v2),f(v2,f(f(f(v1,f(v3,v3)),v3),v3))) = v2.
f(f(v0,v2),f(v2,f(f(f(v1,f(v1,v1)),v3),v3))) = v2.
f(f(v0,v2),f(v2,f(f(f(v1,f(v1,v1)),v2),v3))) = v2.
f(f(v0,v2),f(v2,f(f(f(v1,f(v2,v2)),v2),v3))) = v2.
f(f(v0,v2),f(v2,f(f(v1,f(f(v1,v1),v1)),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v0,f(f(v0,v0),v1)),v0))) = v2.
f(f(v0,v2),f(v2,f(f(v1,f(f(v1,v1),v0)),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v1,f(f(v0,v0),v0)),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v0,f(f(v1,v1),v1)),v0))) = v2.
f(f(v0,v2),f(v2,f(f(v2,f(f(v1,v1),v1)),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v2,f(f(v0,v0),v0)),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v1,f(f(v1,v1),v2)),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v2,f(f(v1,v1),v1)),v0))) = v2.
f(f(v0,v2),f(v2,f(f(v2,f(f(v2,v2),v1)),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v2,f(f(v2,v2),v1)),v0))) = v2.
f(f(v0,v2),f(v2,f(f(v2,f(f(v2,v2),v0)),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v1,f(f(v2,v2),v2)),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v2,f(f(v2,v2),v2)),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v1,f(f(v1,v1),v3)),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v1,f(f(v3,v3),v3)),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v2,f(f(v1,v1),v1)),v3))) = v2.
f(f(v0,v2),f(v2,f(f(v2,f(f(v2,v2),v1)),v3))) = v2.
f(f(v0,v2),f(v2,f(f(v1,f(v1,f(v1,v1))),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v0,f(v1,f(v0,v0))),v0))) = v2.
f(f(v0,v2),f(v2,f(f(v1,f(v0,f(v1,v1))),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v1,f(v0,f(v0,v0))),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v0,f(v1,f(v1,v1))),v0))) = v2.
f(f(v0,v2),f(v2,f(f(v2,f(v1,f(v1,v1))),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v2,f(v0,f(v0,v0))),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v1,f(v2,f(v1,v1))),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v2,f(v1,f(v1,v1))),v0))) = v2.
f(f(v0,v2),f(v2,f(f(v2,f(v1,f(v2,v2))),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v2,f(v1,f(v2,v2))),v0))) = v2.
f(f(v0,v2),f(v2,f(f(v2,f(v0,f(v2,v2))),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v1,f(v2,f(v2,v2))),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v2,f(v2,f(v2,v2))),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v1,f(v3,f(v1,v1))),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v1,f(v3,f(v3,v3))),v1))) = v2.
f(f(v0,v2),f(v2,f(f(v2,f(v1,f(v1,v1))),v3))) = v2.
f(f(v0,v2),f(v2,f(f(v2,f(v1,f(v2,v2))),v3))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v1,v1),v1)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v1,v0),v0)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v0,v1),v0)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v0,v0),v1)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v1,v1),v0)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v1,v0),v1)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v0,v1),v1)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v2,v1),v1)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v2,v1),v0)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v2,v0),v1)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v1,v2),v1)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v1,v2),v0)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v0,v2),v1)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v2,v2),v1)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v1,v3),v3)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v1,v3),v1)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v1,v3),v0)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v1,v1),v3)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v1,v0),v3)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v0,v1),v3)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v2,v1),v3)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v1,v2),v3)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(f(v1,v3),v4)))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v1,f(v1,v1))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v1,f(v0,v0))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v0,f(v1,v0))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v0,f(v0,v1))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v1,f(v1,v0))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v1,f(v0,v1))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v0,f(v1,v1))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v2,f(v1,v1))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v2,f(v1,v0))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v2,f(v0,v1))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v1,f(v2,v1))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v1,f(v2,v0))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v0,f(v2,v1))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v2,f(v2,v1))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v1,f(v3,v3))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v1,f(v3,v1))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v1,f(v3,v0))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v1,f(v1,v3))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v1,f(v0,v3))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v0,f(v1,v3))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v2,f(v1,v3))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v1,f(v2,v3))))) = v2.
f(f(v0,v2),f(v2,f(f(v2,v2),f(v1,f(v3,v4))))) = v2.
f(f(v0,v2),f(v2,f(v1,f(f(f(v1,v1),v1),v1)))) = v2.
f(f(v0,v2),f(v2,f(v0,f(f(f(v0,v0),v1),v0)))) = v2.
f(f(v0,v2),f(v2,f(v1,f(f(f(v1,v1),v0),v1)))) = v2.
f(f(v0,v2),f(v2,f(v1,f(f(f(v0,v0),v0),v1)))) = v2.
f(f(v0,v2),f(v2,f(v0,f(f(f(v1,v1),v1),v0)))) = v2.
f(f(v0,v2),f(v2,f(v1,f(f(f(v1,v1),v2),v1)))) = v2.
f(f(v0,v2),f(v2,f(v1,f(f(f(v2,v2),v2),v1)))) = v2.
f(f(v0,v2),f(v2,f(v1,f(f(f(v1,v1),v3),v1)))) = v2.
f(f(v0,v2),f(v2,f(v1,f(f(f(v3,v3),v3),v1)))) = v2.
f(f(v0,v2),f(v2,f(v1,f(f(v1,f(v1,v1)),v1)))) = v2.
f(f(v0,v2),f(v2,f(v0,f(f(v1,f(v0,v0)),v0)))) = v2.
f(f(v0,v2),f(v2,f(v1,f(f(v0,f(v1,v1)),v1)))) = v2.
f(f(v0,v2),f(v2,f(v1,f(f(v0,f(v0,v0)),v1)))) = v2.
f(f(v0,v2),f(v2,f(v0,f(f(v1,f(v1,v1)),v0)))) = v2.
f(f(v0,v2),f(v2,f(v1,f(f(v2,f(v1,v1)),v1)))) = v2.
f(f(v0,v2),f(v2,f(v1,f(f(v2,f(v2,v2)),v1)))) = v2.
f(f(v0,v2),f(v2,f(v1,f(f(v3,f(v1,v1)),v1)))) = v2.
f(f(v0,v2),f(v2,f(v1,f(f(v3,f(v3,v3)),v1)))) = v2.
f(f(v0,v2),f(v2,f(v1,f(v1,f(f(v1,v1),v1))))) = v2.
f(f(v0,v2),f(v2,f(v0,f(v0,f(f(v0,v0),v1))))) = v2.
f(f(v0,v2),f(v2,f(v1,f(v1,f(f(v1,v1),v0))))) = v2.
f(f(v0,v2),f(v2,f(v1,f(v1,f(f(v0,v0),v0))))) = v2.
f(f(v0,v2),f(v2,f(v0,f(v0,f(f(v1,v1),v1))))) = v2.
f(f(v0,v2),f(v2,f(v1,f(v2,f(f(v1,v1),v1))))) = v2.
f(f(v0,v2),f(v2,f(v1,f(v2,f(f(v0,v0),v0))))) = v2.
f(f(v0,v2),f(v2,f(v0,f(v2,f(f(v1,v1),v1))))) = v2.
f(f(v0,v2),f(v2,f(v2,f(v2,f(f(v1,v1),v1))))) = v2.
f(f(v0,v2),f(v2,f(v1,f(v2,f(f(v2,v2),v1))))) = v2.
f(f(v0,v2),f(v2,f(v1,f(v2,f(f(v2,v2),v0))))) = v2.
f(f(v0,v2),f(v2,f(v0,f(v2,f(f(v2,v2),v1))))) = v2.
f(f(v0,v2),f(v2,f(v2,f(v2,f(f(v2,v2),v1))))) = v2.
f(f(v0,v2),f(v2,f(v1,f(v1,f(f(v1,v1),v3))))) = v2.
f(f(v0,v2),f(v2,f(v1,f(v1,f(f(v3,v3),v3))))) = v2.
f(f(v0,v2),f(v2,f(v1,f(v2,f(f(v3,v3),v3))))) = v2.
f(f(v0,v2),f(v2,f(v1,f(v2,f(f(v2,v2),v3))))) = v2.
f(f(v0,v2),f(v2,f(v1,f(v1,f(v1,f(v1,v1)))))) = v2.
f(f(v0,v2),f(v2,f(v0,f(v0,f(v1,f(v0,v0)))))) = v2.
f(f(v0,v2),f(v2,f(v1,f(v1,f(v0,f(v1,v1)))))) = v2.
f(f(v0,v2),f(v2,f(v1,f(v1,f(v0,f(v0,v0)))))) = v2.
f(f(v0,v2),f(v2,f(v0,f(v0,f(v1,f(v1,v1)))))) = v2.
f(f(v0,v2),f(v2,f(v1,f(v2,f(v1,f(v1,v1)))))) = v2.
f(f(v0,v2),f(v2,f(v1,f(v2,f(v0,f(v0,v0)))))) = v2.
f(f(v0,v2),f(v2,f(v1,f(v1,f(v2,f(v1,v1)))))) = v2.
f(f(v0,v2),f(v2,f(v0,f(v2,f(v1,f(v1,v1)))))) = v2.
f(f(v0,v2),f(v2,f(v2,f(v2,f(v1,f(v1,v1)))))) = v2.
f(f(v0,v2),f(v2,f(v1,f(v1,f(v3,f(v1,v1)))))) = v2.
f(f(v0,v2),f(v2,f(v1,f(v1,f(v3,f(v3,v3)))))) = v2.
f(f(v0,v2),f(v2,f(v1,f(v2,f(v3,f(v3,v3)))))) = v2.
% frogmen: ../../assoc/17, ../../ops/17, ../../args/17: generated 906395, user 1.46, system 0.01.
% modfilter ../../../interps/BA.2 true_in_all: checked 906395, passed 3960, 6.81 seconds.
% olfilter: checked 3960, passed 466, user 0.23, system 0.00.