Equations for 177.trs

Equation 1

-(+(+(-(y),-(c0)),c0)) = +(y,c0)

Equation 2

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

Equation 3

c0 = -(-(-(+(x,c0))))