Equations for 163.trs

Equation 1

+(+(+(+(y,y),+(c0,y)),+(c0,+(c0,c0))),c0) = +(z,+(+(+(y,c0),+(y,y)),+(+(c0,x),c0)))

Equation 2

+(+(x,+(+(y,y),+(c0,c0))),+(+(c0,+(c0,c0)),c0)) = z

Equation 3

c0 = z