Equations for 1024.trs

Equation 1

c0 = c(a(c(a(c0))))

Equation 2

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

Equation 3

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