Equations for 1010.trs

Equation 1

a(a(c0)) = x

Equation 2

x = c(x)

Equation 3

a(a(cX)) = a(b(cX))