Equations for 168.trs

Equation 1

0 = p(p(+(0,s(z))))

Equation 2

0 = +(p(+(+(0,0),p(y))),p(s(+(0,z))))

Equation 3

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