Equations for 63.trs

Equation 1

-(d(s(cX)), 0) = -(cX, 0)

Equation 2

-(0,-(d(-(x,y)),-(x,0))) = d(d(0))

Equation 3

d(0) = d(x)