Equations for 1001.trs

Equation 1

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

Equation 2

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

Equation 3

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