Q(W) :-a^2*c^4*p*q^2*r^2*x^3*y^2 + a^2*b^4*p*q*r^3*x^3*y^2 - a^6*q^2*r^3*x^3*y^2 + b^2*c^4*p^2*q*r^2*x^2*y^3 + b^6*p^2*r^3*x^2*y^3 - a^4*b^2*p*q*r^3*x^2*y^3 + 2*b^4*c^2*p^2*q*r^2*x^2*y^2*z - 2*a^4*c^2*p*q^2*r^2*x^2*y^2*z - a^2*c^4*p*q^3*r*x^3*z^2 + a^2*b^4*p*q^2*r^2*x^3*z^2 + a^6*q^3*r^2*x^3*z^2 - 2*b^2*c^4*p^2*q^2*r*x^2*y*z^2 + 2*a^4*b^2*p*q^2*r^2*x^2*y*z^2 + 2*a^2*c^4*p^2*q^2*r*x*y^2*z^2 - 2*a^2*b^4*p^2*q*r^2*x*y^2*z^2 + b^2*c^4*p^3*q*r*y^3*z^2 - b^6*p^3*r^2*y^3*z^2 - a^4*b^2*p^2*q*r^2*y^3*z^2 - c^6*p^2*q^3*x^2*z^3 - b^4*c^2*p^2*q^2*r*x^2*z^3 + a^4*c^2*p*q^3*r*x^2*z^3 + c^6*p^3*q^2*y^2*z^3 - b^4*c^2*p^3*q*r*y^2*z^3 + a^4*c^2*p^2*q^2*r*y^2*z^3 = 0Q(P) :c^6*v^2*w^3*x^3*y^2 - c^6*u^2*w^3*x^2*y^3 + b^2*c^4*v^3*w^2*x^3*y*z - b^4*c^2*v^2*w^3*x^3*y*z - 2*b^2*c^4*u^2*v*w^2*x^2*y^2*z + 2*a^2*c^4*u*v^2*w^2*x^2*y^2*z - b^4*c^2*u^2*w^3*x^2*y^2*z + a^4*c^2*v^2*w^3*x^2*y^2*z - a^2*c^4*u^3*w^2*x*y^3*z + a^4*c^2*u^2*w^3*x*y^3*z - b^6*v^3*w^2*x^3*z^2 + b^2*c^4*u^2*v^3*x^2*y*z^2 + 2*b^4*c^2*u^2*v^2*w*x^2*y*z^2 - 2*a^2*b^4*u*v^2*w^2*x^2*y*z^2 - a^4*b^2*v^3*w^2*x^2*y*z^2 - a^2*c^4*u^3*v^2*x*y^2*z^2 - 2*a^4*c^2*u^2*v^2*w*x*y^2*z^2 + a^2*b^4*u^3*w^2*x*y^2*z^2 + 2*a^4*b^2*u^2*v*w^2*x*y^2*z^2 + a^6*u^3*w^2*y^3*z^2 + b^6*u^2*v^3*x^2*z^3 + a^2*b^4*u^3*v^2*x*y*z^3 - a^4*b^2*u^2*v^3*x*y*z^3 - a^6*u^3*v^2*y^2*z^3 = 0Q(S) :

c^6*p*q^2*r*x^3*y - b^4*c^2*p*q*r^2*x^3*y + a^4*c^2*q^2*r^2*x^3*y - c^6*p^2*q*r*x*y^3 - b^4*c^2*p^2*r^2*x*y^3 + a^4*c^2*p*q*r^2*x*y^3 + b^2*c^4*p*q^2*r*x^3*z - b^6*p*q*r^2*x^3*z - 
  a^4*b^2*q^2*r^2*x^3*z + 2*a^2*c^4*p*q^2*r*x^2*y*z - 2*a^2*b^4*p*q*r^2*x^2*y*z - 2*b^2*c^4*p^2*q*r*x*y^2*z + 2*a^4*b^2*p*q*r^2*x*y^2*z - a^2*c^4*p^2*q*r*y^3*z + a^2*b^4*p^2*r^2*y^3*z + 
  a^6*p*q*r^2*y^3*z + 2*b^4*c^2*p^2*q*r*x*y*z^2 - 2*a^4*c^2*p*q^2*r*x*y*z^2 + b^2*c^4*p^2*q^2*x*z^3 + b^6*p^2*q*r*x*z^3 - a^4*b^2*p*q^2*r*x*z^3 - a^2*c^4*p^2*q^2*y*z^3 + a^2*b^4*p^2*q*r*y*z^3 - 
  a^6*p*q^2*r*y*z^3=0