Equations for 993.trs

Equation 1

c0 = a(c(a(b(x))))

Equation 2

c0 = b(a(b(b(c0))))

Equation 3

a(c0) = a(x)