Equations for 424.trs

Equation 1

f(f(cX)) = f(g(cX,f(cX)))

Equation 2

g(c0,f(g(x,c0))) = g(g(f(g(c0,x)),c0),g(f(c0),f(c0)))

Equation 3

f(f(c0)) = c0