Equations for 48.trs

Equation 1

F(F(cX,K(cY,cZ)),Q(Q(c0,c0),F(c0,c0))) = F(G(P(cY),Q(cZ,cX)),Q(Q(c0,c0),F(c0,c0)))

Equation 2

P(x) = P(c0)

Equation 3

c0 = x