Equations for 995.trs

Equation 1

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

Equation 2

c(c0) = x

Equation 3

x = b(c0)