Equations for 138.trs

Equation 1

+(0,s(s(s(0)))) = 0

Equation 2

s(0) = x

Equation 3

s(0) = +(s(s(s(0))),x)