Equations for 1006.trs

Equation 1

x = a(x)

Equation 2

x = c0

Equation 3

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