Ops a:0 f:3
TRS PI3
f(a,f(a,a,f(a,a,a)),a) -> a
f(a,a,f(f(a,a,a),a,a)) -> a
f(f(a,f(a,a,a),a),a,a) -> a
