Equations for 104.trs

Equation 1

Ap(I,Ap(Ap(Ap(z,I),x),Ap(Ap(y,K),Ap(x,S)))) = Ap(Ap(Ap(Ap(S,K),Ap(z,I)),Ap(Ap(y,I),y)),Ap(Ap(Ap(I,y),S),Ap(y,Ap(K,z))))

Equation 2

Ap(Ap(Ap(y,Ap(K,S)),Ap(Ap(K,S),Ap(K,z))),K) = Ap(K,Ap(x,y))

Equation 3

S = Ap(Ap(Ap(Ap(z,S),Ap(I,y)),Ap(Ap(I,K),I)),Ap(S,I))