Equations for 1026.trs

Equation 1

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

Equation 2

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

Equation 3

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