Equations for 555.trs
Equation 1
g(x) = b
Equation 2
h(k(f(g(b),b),b)) = b
Equation 3
b = f(k(g(f(x,b)),g(b)),g(x))