f4:= (t^17*x[1]^6*x[2]^6*x[3]^6*x[4]^6+t^17*x[1]^6*x[2]^6*x[3]^6*x[4]^4+t^17*x[1]^4* x[2]^6*x[3]^6*x[4]^6-2*t^15*x[1]^6*x[2]^6*x[3]^6*x[4]^6-3*t^14*x[1]^7*x[2]^7*x[ 3]^5*x[4]^5-3*t^14*x[1]^7*x[2]^5*x[3]^5*x[4]^7-3*t^14*x[1]^5*x[2]^7*x[3]^7*x[4] ^5-3*t^14*x[1]^5*x[2]^5*x[3]^7*x[4]^7-2*t^15*x[1]^6*x[2]^6*x[3]^6*x[4]^4-2*t^15 *x[1]^4*x[2]^6*x[3]^6*x[4]^6-7*t^13*x[1]^6*x[2]^6*x[3]^6*x[4]^6-3*t^16*x[1]^5*x [2]^5*x[3]^5*x[4]^5-3*t^14*x[1]^7*x[2]^7*x[3]^5*x[4]^3-3*t^14*x[1]^7*x[2]^5*x[3 ]^5*x[4]^5-3*t^14*x[1]^5*x[2]^7*x[3]^7*x[4]^3-3*t^14*x[1]^5*x[2]^7*x[3]^5*x[4]^ 5-3*t^14*x[1]^5*x[2]^5*x[3]^7*x[4]^5-3*t^14*x[1]^5*x[2]^5*x[3]^5*x[4]^7-3*t^14* x[1]^3*x[2]^7*x[3]^7*x[4]^5-3*t^14*x[1]^3*x[2]^5*x[3]^7*x[4]^7+t^12*x[1]^7*x[2] ^7*x[3]^5*x[4]^5+t^12*x[1]^7*x[2]^5*x[3]^5*x[4]^7+t^12*x[1]^5*x[2]^7*x[3]^7*x[4 ]^5+t^12*x[1]^5*x[2]^5*x[3]^7*x[4]^7+t^17*x[1]^6*x[2]^4*x[3]^4*x[4]^4+t^17*x[1] ^4*x[2]^4*x[3]^4*x[4]^6-7*t^13*x[1]^6*x[2]^6*x[3]^6*x[4]^4-7*t^13*x[1]^4*x[2]^6 *x[3]^6*x[4]^6+3*t^11*x[1]^8*x[2]^8*x[3]^4*x[4]^4+2*t^11*x[1]^8*x[2]^6*x[3]^4*x [4]^6+3*t^11*x[1]^8*x[2]^4*x[3]^4*x[4]^8+2*t^11*x[1]^6*x[2]^8*x[3]^6*x[4]^4+2*t ^11*x[1]^6*x[2]^6*x[3]^6*x[4]^6+2*t^11*x[1]^6*x[2]^4*x[3]^6*x[4]^8+3*t^11*x[1]^ 4*x[2]^8*x[3]^8*x[4]^4+2*t^11*x[1]^4*x[2]^6*x[3]^8*x[4]^6+3*t^11*x[1]^4*x[2]^4* x[3]^8*x[4]^8+2*t^14*x[1]^5*x[2]^5*x[3]^5*x[4]^5+t^12*x[1]^7*x[2]^7*x[3]^5*x[4] ^3+t^12*x[1]^7*x[2]^5*x[3]^5*x[4]^5+t^12*x[1]^5*x[2]^7*x[3]^7*x[4]^3+t^12*x[1]^ 5*x[2]^7*x[3]^5*x[4]^5+t^12*x[1]^5*x[2]^5*x[3]^7*x[4]^5+t^12*x[1]^5*x[2]^5*x[3] ^5*x[4]^7+t^12*x[1]^3*x[2]^7*x[3]^7*x[4]^5+t^12*x[1]^3*x[2]^5*x[3]^7*x[4]^7+3*t ^10*x[1]^7*x[2]^7*x[3]^5*x[4]^5+3*t^10*x[1]^7*x[2]^5*x[3]^5*x[4]^7+3*t^10*x[1]^ 5*x[2]^7*x[3]^7*x[4]^5+3*t^10*x[1]^5*x[2]^5*x[3]^7*x[4]^7+t^17*x[1]^4*x[2]^4*x[ 3]^4*x[4]^4-2*t^15*x[1]^6*x[2]^4*x[3]^4*x[4]^4-2*t^15*x[1]^4*x[2]^4*x[3]^4*x[4] ^6+8*t^13*x[1]^6*x[2]^6*x[3]^4*x[4]^4+8*t^13*x[1]^6*x[2]^4*x[3]^4*x[4]^6+8*t^13 *x[1]^4*x[2]^6*x[3]^6*x[4]^4+8*t^13*x[1]^4*x[2]^4*x[3]^6*x[4]^6+3*t^11*x[1]^8*x [2]^8*x[3]^4*x[4]^2+2*t^11*x[1]^8*x[2]^6*x[3]^4*x[4]^4+3*t^11*x[1]^8*x[2]^4*x[3 ]^4*x[4]^6+2*t^11*x[1]^6*x[2]^8*x[3]^6*x[4]^2+3*t^11*x[1]^6*x[2]^8*x[3]^4*x[4]^ 4+2*t^11*x[1]^6*x[2]^6*x[3]^6*x[4]^4+2*t^11*x[1]^6*x[2]^6*x[3]^4*x[4]^6+2*t^11* x[1]^6*x[2]^4*x[3]^6*x[4]^6+3*t^11*x[1]^6*x[2]^4*x[3]^4*x[4]^8+3*t^11*x[1]^4*x[ 2]^8*x[3]^8*x[4]^2+2*t^11*x[1]^4*x[2]^8*x[3]^6*x[4]^4+2*t^11*x[1]^4*x[2]^6*x[3] ^8*x[4]^4+2*t^11*x[1]^4*x[2]^6*x[3]^6*x[4]^6+3*t^11*x[1]^4*x[2]^4*x[3]^8*x[4]^6 +2*t^11*x[1]^4*x[2]^4*x[3]^6*x[4]^8+3*t^11*x[1]^2*x[2]^8*x[3]^8*x[4]^4+2*t^11*x [1]^2*x[2]^6*x[3]^8*x[4]^6+3*t^11*x[1]^2*x[2]^4*x[3]^8*x[4]^8+t^9*x[1]^8*x[2]^8 *x[3]^4*x[4]^4-4*t^9*x[1]^8*x[2]^6*x[3]^4*x[4]^6+t^9*x[1]^8*x[2]^4*x[3]^4*x[4]^ 8-4*t^9*x[1]^6*x[2]^8*x[3]^6*x[4]^4-4*t^9*x[1]^6*x[2]^4*x[3]^6*x[4]^8+t^9*x[1]^ 4*x[2]^8*x[3]^8*x[4]^4-4*t^9*x[1]^4*x[2]^6*x[3]^8*x[4]^6+t^9*x[1]^4*x[2]^4*x[3] ^8*x[4]^8-3*t^14*x[1]^7*x[2]^5*x[3]^3*x[4]^3-3*t^14*x[1]^7*x[2]^3*x[3]^3*x[4]^5 -3*t^14*x[1]^5*x[2]^5*x[3]^5*x[4]^3-3*t^14*x[1]^5*x[2]^5*x[3]^3*x[4]^5-3*t^14*x [1]^5*x[2]^3*x[3]^5*x[4]^5-3*t^14*x[1]^5*x[2]^3*x[3]^3*x[4]^7-3*t^14*x[1]^3*x[2 ]^5*x[3]^5*x[4]^5-3*t^14*x[1]^3*x[2]^3*x[3]^5*x[4]^7+13*t^12*x[1]^5*x[2]^5*x[3] ^5*x[4]^5+3*t^10*x[1]^7*x[2]^7*x[3]^5*x[4]^3+3*t^10*x[1]^7*x[2]^5*x[3]^5*x[4]^5 +3*t^10*x[1]^5*x[2]^7*x[3]^7*x[4]^3+3*t^10*x[1]^5*x[2]^7*x[3]^5*x[4]^5+3*t^10*x [1]^5*x[2]^5*x[3]^7*x[4]^5+3*t^10*x[1]^5*x[2]^5*x[3]^5*x[4]^7+3*t^10*x[1]^3*x[2 ]^7*x[3]^7*x[4]^5+3*t^10*x[1]^3*x[2]^5*x[3]^7*x[4]^7-t^8*x[1]^9*x[2]^9*x[3]^3*x [4]^3-t^8*x[1]^9*x[2]^3*x[3]^3*x[4]^9+t^8*x[1]^7*x[2]^7*x[3]^5*x[4]^5+t^8*x[1]^ 7*x[2]^5*x[3]^5*x[4]^7+t^8*x[1]^5*x[2]^7*x[3]^7*x[4]^5+t^8*x[1]^5*x[2]^5*x[3]^7 *x[4]^7-t^8*x[1]^3*x[2]^9*x[3]^9*x[4]^3-t^8*x[1]^3*x[2]^3*x[3]^9*x[4]^9-2*t^15* x[1]^4*x[2]^4*x[3]^4*x[4]^4-7*t^13*x[1]^6*x[2]^4*x[3]^4*x[4]^4-7*t^13*x[1]^4*x[ 2]^4*x[3]^4*x[4]^6+2*t^11*x[1]^6*x[2]^6*x[3]^4*x[4]^4+2*t^11*x[1]^6*x[2]^4*x[3] ^4*x[4]^6+2*t^11*x[1]^4*x[2]^6*x[3]^6*x[4]^4+2*t^11*x[1]^4*x[2]^4*x[3]^6*x[4]^6 +t^9*x[1]^8*x[2]^8*x[3]^4*x[4]^2-4*t^9*x[1]^8*x[2]^6*x[3]^4*x[4]^4+t^9*x[1]^8*x [2]^4*x[3]^4*x[4]^6-4*t^9*x[1]^6*x[2]^8*x[3]^6*x[4]^2+t^9*x[1]^6*x[2]^8*x[3]^4* x[4]^4-4*t^9*x[1]^6*x[2]^6*x[3]^4*x[4]^6-4*t^9*x[1]^6*x[2]^4*x[3]^6*x[4]^6+t^9* x[1]^6*x[2]^4*x[3]^4*x[4]^8+t^9*x[1]^4*x[2]^8*x[3]^8*x[4]^2-4*t^9*x[1]^4*x[2]^8 *x[3]^6*x[4]^4-4*t^9*x[1]^4*x[2]^6*x[3]^8*x[4]^4+t^9*x[1]^4*x[2]^4*x[3]^8*x[4]^ 6-4*t^9*x[1]^4*x[2]^4*x[3]^6*x[4]^8+t^9*x[1]^2*x[2]^8*x[3]^8*x[4]^4-4*t^9*x[1]^ 2*x[2]^6*x[3]^8*x[4]^6+t^9*x[1]^2*x[2]^4*x[3]^8*x[4]^8-t^7*x[1]^8*x[2]^8*x[3]^4 *x[4]^4-t^7*x[1]^8*x[2]^6*x[3]^4*x[4]^6-t^7*x[1]^8*x[2]^4*x[3]^4*x[4]^8-t^7*x[1 ]^6*x[2]^8*x[3]^6*x[4]^4+6*t^7*x[1]^6*x[2]^6*x[3]^6*x[4]^6-t^7*x[1]^6*x[2]^4*x[ 3]^6*x[4]^8-t^7*x[1]^4*x[2]^8*x[3]^8*x[4]^4-t^7*x[1]^4*x[2]^6*x[3]^8*x[4]^6-t^7 *x[1]^4*x[2]^4*x[3]^8*x[4]^8-3*t^14*x[1]^5*x[2]^5*x[3]^3*x[4]^3-3*t^14*x[1]^5*x [2]^3*x[3]^3*x[4]^5-3*t^14*x[1]^3*x[2]^5*x[3]^5*x[4]^3-3*t^14*x[1]^3*x[2]^3*x[3 ]^5*x[4]^5+t^12*x[1]^7*x[2]^5*x[3]^3*x[4]^3+t^12*x[1]^7*x[2]^3*x[3]^3*x[4]^5+t^ 12*x[1]^5*x[2]^5*x[3]^5*x[4]^3+t^12*x[1]^5*x[2]^5*x[3]^3*x[4]^5+t^12*x[1]^5*x[2 ]^3*x[3]^5*x[4]^5+t^12*x[1]^5*x[2]^3*x[3]^3*x[4]^7+t^12*x[1]^3*x[2]^5*x[3]^5*x[ 4]^5+t^12*x[1]^3*x[2]^3*x[3]^5*x[4]^7-7*t^10*x[1]^7*x[2]^7*x[3]^3*x[4]^3-8*t^10 *x[1]^7*x[2]^5*x[3]^3*x[4]^5-7*t^10*x[1]^7*x[2]^3*x[3]^3*x[4]^7-8*t^10*x[1]^5*x [2]^7*x[3]^5*x[4]^3+2*t^10*x[1]^5*x[2]^5*x[3]^5*x[4]^5-8*t^10*x[1]^5*x[2]^3*x[3 ]^5*x[4]^7-7*t^10*x[1]^3*x[2]^7*x[3]^7*x[4]^3-8*t^10*x[1]^3*x[2]^5*x[3]^7*x[4]^ 5-7*t^10*x[1]^3*x[2]^3*x[3]^7*x[4]^7-t^8*x[1]^9*x[2]^9*x[3]^3*x[4]-t^8*x[1]^9*x [2]^3*x[3]^3*x[4]^7-t^8*x[1]^7*x[2]^9*x[3]^3*x[4]^3+t^8*x[1]^7*x[2]^7*x[3]^5*x[ 4]^3+t^8*x[1]^7*x[2]^5*x[3]^5*x[4]^5-t^8*x[1]^7*x[2]^3*x[3]^3*x[4]^9+t^8*x[1]^5 *x[2]^7*x[3]^7*x[4]^3+t^8*x[1]^5*x[2]^7*x[3]^5*x[4]^5+t^8*x[1]^5*x[2]^5*x[3]^7* x[4]^5+t^8*x[1]^5*x[2]^5*x[3]^5*x[4]^7-t^8*x[1]^3*x[2]^9*x[3]^9*x[4]+t^8*x[1]^3 *x[2]^7*x[3]^7*x[4]^5+t^8*x[1]^3*x[2]^5*x[3]^7*x[4]^7-t^8*x[1]^3*x[2]^3*x[3]^9* x[4]^7-t^8*x[1]*x[2]^9*x[3]^9*x[4]^3-t^8*x[1]*x[2]^3*x[3]^9*x[4]^9+t^6*x[1]^9*x [2]^7*x[3]^3*x[4]^5+t^6*x[1]^9*x[2]^5*x[3]^3*x[4]^7+t^6*x[1]^7*x[2]^9*x[3]^5*x[ 4]^3-t^6*x[1]^7*x[2]^7*x[3]^5*x[4]^5-t^6*x[1]^7*x[2]^5*x[3]^5*x[4]^7+t^6*x[1]^7 *x[2]^3*x[3]^5*x[4]^9+t^6*x[1]^5*x[2]^9*x[3]^7*x[4]^3-t^6*x[1]^5*x[2]^7*x[3]^7* x[4]^5-t^6*x[1]^5*x[2]^5*x[3]^7*x[4]^7+t^6*x[1]^5*x[2]^3*x[3]^7*x[4]^9+t^6*x[1] ^3*x[2]^7*x[3]^9*x[4]^5+t^6*x[1]^3*x[2]^5*x[3]^9*x[4]^7-7*t^13*x[1]^4*x[2]^4*x[ 3]^4*x[4]^4+3*t^11*x[1]^8*x[2]^6*x[3]^2*x[4]^2+2*t^11*x[1]^8*x[2]^4*x[3]^2*x[4] ^4+3*t^11*x[1]^8*x[2]^2*x[3]^2*x[4]^6+2*t^11*x[1]^6*x[2]^6*x[3]^4*x[4]^2+3*t^11 *x[1]^6*x[2]^6*x[3]^2*x[4]^4+2*t^11*x[1]^6*x[2]^4*x[3]^4*x[4]^4+2*t^11*x[1]^6*x [2]^4*x[3]^2*x[4]^6+2*t^11*x[1]^6*x[2]^2*x[3]^4*x[4]^6+3*t^11*x[1]^6*x[2]^2*x[3 ]^2*x[4]^8+3*t^11*x[1]^4*x[2]^6*x[3]^6*x[4]^2+2*t^11*x[1]^4*x[2]^6*x[3]^4*x[4]^ 4+2*t^11*x[1]^4*x[2]^4*x[3]^6*x[4]^4+2*t^11*x[1]^4*x[2]^4*x[3]^4*x[4]^6+3*t^11* x[1]^4*x[2]^2*x[3]^6*x[4]^6+2*t^11*x[1]^4*x[2]^2*x[3]^4*x[4]^8+3*t^11*x[1]^2*x[ 2]^6*x[3]^6*x[4]^4+2*t^11*x[1]^2*x[2]^4*x[3]^6*x[4]^6+3*t^11*x[1]^2*x[2]^2*x[3] ^6*x[4]^8-4*t^9*x[1]^6*x[2]^6*x[3]^4*x[4]^4-4*t^9*x[1]^6*x[2]^4*x[3]^4*x[4]^6-4 *t^9*x[1]^4*x[2]^6*x[3]^6*x[4]^4-4*t^9*x[1]^4*x[2]^4*x[3]^6*x[4]^6-t^7*x[1]^8*x [2]^8*x[3]^4*x[4]^2-t^7*x[1]^8*x[2]^6*x[3]^4*x[4]^4-t^7*x[1]^8*x[2]^4*x[3]^4*x[ 4]^6-t^7*x[1]^6*x[2]^8*x[3]^6*x[4]^2-t^7*x[1]^6*x[2]^8*x[3]^4*x[4]^4+6*t^7*x[1] ^6*x[2]^6*x[3]^6*x[4]^4-t^7*x[1]^6*x[2]^6*x[3]^4*x[4]^6-t^7*x[1]^6*x[2]^4*x[3]^ 6*x[4]^6-t^7*x[1]^6*x[2]^4*x[3]^4*x[4]^8-t^7*x[1]^4*x[2]^8*x[3]^8*x[4]^2-t^7*x[ 1]^4*x[2]^8*x[3]^6*x[4]^4-t^7*x[1]^4*x[2]^6*x[3]^8*x[4]^4+6*t^7*x[1]^4*x[2]^6*x [3]^6*x[4]^6-t^7*x[1]^4*x[2]^4*x[3]^8*x[4]^6-t^7*x[1]^4*x[2]^4*x[3]^6*x[4]^8-t^ 7*x[1]^2*x[2]^8*x[3]^8*x[4]^4-t^7*x[1]^2*x[2]^6*x[3]^8*x[4]^6-t^7*x[1]^2*x[2]^4 *x[3]^8*x[4]^8-t^5*x[1]^10*x[2]^6*x[3]^2*x[4]^6-t^5*x[1]^6*x[2]^10*x[3]^6*x[4]^ 2-3*t^5*x[1]^6*x[2]^6*x[3]^6*x[4]^6-t^5*x[1]^6*x[2]^2*x[3]^6*x[4]^10-t^5*x[1]^2 *x[2]^6*x[3]^10*x[4]^6+t^12*x[1]^5*x[2]^5*x[3]^3*x[4]^3+t^12*x[1]^5*x[2]^3*x[3] ^3*x[4]^5+t^12*x[1]^3*x[2]^5*x[3]^5*x[4]^3+t^12*x[1]^3*x[2]^3*x[3]^5*x[4]^5+3*t ^10*x[1]^7*x[2]^5*x[3]^3*x[4]^3+3*t^10*x[1]^7*x[2]^3*x[3]^3*x[4]^5+3*t^10*x[1]^ 5*x[2]^5*x[3]^5*x[4]^3+3*t^10*x[1]^5*x[2]^5*x[3]^3*x[4]^5+3*t^10*x[1]^5*x[2]^3* x[3]^5*x[4]^5+3*t^10*x[1]^5*x[2]^3*x[3]^3*x[4]^7+3*t^10*x[1]^3*x[2]^5*x[3]^5*x[ 4]^5+3*t^10*x[1]^3*x[2]^3*x[3]^5*x[4]^7-3*t^8*x[1]^7*x[2]^7*x[3]^3*x[4]^3-3*t^8 *x[1]^7*x[2]^3*x[3]^3*x[4]^7+12*t^8*x[1]^5*x[2]^5*x[3]^5*x[4]^5-3*t^8*x[1]^3*x[ 2]^7*x[3]^7*x[4]^3-3*t^8*x[1]^3*x[2]^3*x[3]^7*x[4]^7+t^6*x[1]^9*x[2]^7*x[3]^3*x [4]^3+t^6*x[1]^9*x[2]^5*x[3]^3*x[4]^5+t^6*x[1]^7*x[2]^9*x[3]^5*x[4]-t^6*x[1]^7* x[2]^7*x[3]^5*x[4]^3+t^6*x[1]^7*x[2]^7*x[3]^3*x[4]^5-t^6*x[1]^7*x[2]^5*x[3]^5*x [4]^5+t^6*x[1]^7*x[2]^5*x[3]^3*x[4]^7+t^6*x[1]^7*x[2]^3*x[3]^5*x[4]^7+t^6*x[1]^ 5*x[2]^9*x[3]^7*x[4]+t^6*x[1]^5*x[2]^9*x[3]^5*x[4]^3-t^6*x[1]^5*x[2]^7*x[3]^7*x [4]^3-t^6*x[1]^5*x[2]^7*x[3]^5*x[4]^5-t^6*x[1]^5*x[2]^5*x[3]^7*x[4]^5-t^6*x[1]^ 5*x[2]^5*x[3]^5*x[4]^7+t^6*x[1]^5*x[2]^3*x[3]^7*x[4]^7+t^6*x[1]^5*x[2]^3*x[3]^5 *x[4]^9+t^6*x[1]^3*x[2]^9*x[3]^7*x[4]^3+t^6*x[1]^3*x[2]^7*x[3]^9*x[4]^3-t^6*x[1 ]^3*x[2]^7*x[3]^7*x[4]^5+t^6*x[1]^3*x[2]^5*x[3]^9*x[4]^5-t^6*x[1]^3*x[2]^5*x[3] ^7*x[4]^7+t^6*x[1]^3*x[2]^3*x[3]^7*x[4]^9+t^6*x[1]*x[2]^7*x[3]^9*x[4]^5+t^6*x[1 ]*x[2]^5*x[3]^9*x[4]^7-t^4*x[1]^7*x[2]^7*x[3]^5*x[4]^5-t^4*x[1]^7*x[2]^5*x[3]^5 *x[4]^7-t^4*x[1]^5*x[2]^7*x[3]^7*x[4]^5-t^4*x[1]^5*x[2]^5*x[3]^7*x[4]^7+3*t^11* x[1]^6*x[2]^6*x[3]^2*x[4]^2+2*t^11*x[1]^6*x[2]^4*x[3]^2*x[4]^4+3*t^11*x[1]^6*x[ 2]^2*x[3]^2*x[4]^6+2*t^11*x[1]^4*x[2]^6*x[3]^4*x[4]^2+2*t^11*x[1]^4*x[2]^4*x[3] ^4*x[4]^4+2*t^11*x[1]^4*x[2]^2*x[3]^4*x[4]^6+3*t^11*x[1]^2*x[2]^6*x[3]^6*x[4]^2 +2*t^11*x[1]^2*x[2]^4*x[3]^6*x[4]^4+3*t^11*x[1]^2*x[2]^2*x[3]^6*x[4]^6+t^9*x[1] ^8*x[2]^6*x[3]^2*x[4]^2-4*t^9*x[1]^8*x[2]^4*x[3]^2*x[4]^4+t^9*x[1]^8*x[2]^2*x[3 ]^2*x[4]^6-4*t^9*x[1]^6*x[2]^6*x[3]^4*x[4]^2+t^9*x[1]^6*x[2]^6*x[3]^2*x[4]^4-4* t^9*x[1]^6*x[2]^4*x[3]^2*x[4]^6-4*t^9*x[1]^6*x[2]^2*x[3]^4*x[4]^6+t^9*x[1]^6*x[ 2]^2*x[3]^2*x[4]^8+t^9*x[1]^4*x[2]^6*x[3]^6*x[4]^2-4*t^9*x[1]^4*x[2]^6*x[3]^4*x [4]^4-4*t^9*x[1]^4*x[2]^4*x[3]^6*x[4]^4+t^9*x[1]^4*x[2]^2*x[3]^6*x[4]^6-4*t^9*x [1]^4*x[2]^2*x[3]^4*x[4]^8+t^9*x[1]^2*x[2]^6*x[3]^6*x[4]^4-4*t^9*x[1]^2*x[2]^4* x[3]^6*x[4]^6+t^9*x[1]^2*x[2]^2*x[3]^6*x[4]^8+2*t^7*x[1]^8*x[2]^8*x[3]^2*x[4]^2 +2*t^7*x[1]^8*x[2]^6*x[3]^2*x[4]^4+2*t^7*x[1]^8*x[2]^4*x[3]^2*x[4]^6+2*t^7*x[1] ^8*x[2]^2*x[3]^2*x[4]^8+2*t^7*x[1]^6*x[2]^8*x[3]^4*x[4]^2-6*t^7*x[1]^6*x[2]^6*x [3]^4*x[4]^4-6*t^7*x[1]^6*x[2]^4*x[3]^4*x[4]^6+2*t^7*x[1]^6*x[2]^2*x[3]^4*x[4]^ 8+2*t^7*x[1]^4*x[2]^8*x[3]^6*x[4]^2-6*t^7*x[1]^4*x[2]^6*x[3]^6*x[4]^4-6*t^7*x[1 ]^4*x[2]^4*x[3]^6*x[4]^6+2*t^7*x[1]^4*x[2]^2*x[3]^6*x[4]^8+2*t^7*x[1]^2*x[2]^8* x[3]^8*x[4]^2+2*t^7*x[1]^2*x[2]^6*x[3]^8*x[4]^4+2*t^7*x[1]^2*x[2]^4*x[3]^8*x[4] ^6+2*t^7*x[1]^2*x[2]^2*x[3]^8*x[4]^8-t^5*x[1]^10*x[2]^6*x[3]^2*x[4]^4-t^5*x[1]^ 8*x[2]^6*x[3]^2*x[4]^6-t^5*x[1]^6*x[2]^10*x[3]^6-3*t^5*x[1]^6*x[2]^6*x[3]^6*x[4 ]^4-t^5*x[1]^6*x[2]^2*x[3]^6*x[4]^8-t^5*x[1]^4*x[2]^10*x[3]^6*x[4]^2-3*t^5*x[1] ^4*x[2]^6*x[3]^6*x[4]^6-t^5*x[1]^4*x[2]^2*x[3]^6*x[4]^10-t^5*x[1]^2*x[2]^6*x[3] ^10*x[4]^4-t^5*x[2]^6*x[3]^10*x[4]^6+t^3*x[1]^8*x[2]^6*x[3]^4*x[4]^6+t^3*x[1]^6 *x[2]^8*x[3]^6*x[4]^4+2*t^3*x[1]^6*x[2]^6*x[3]^6*x[4]^6+t^3*x[1]^6*x[2]^4*x[3]^ 6*x[4]^8+t^3*x[1]^4*x[2]^6*x[3]^8*x[4]^6+3*t^10*x[1]^5*x[2]^5*x[3]^3*x[4]^3+3*t ^10*x[1]^5*x[2]^3*x[3]^3*x[4]^5+3*t^10*x[1]^3*x[2]^5*x[3]^5*x[4]^3+3*t^10*x[1]^ 3*x[2]^3*x[3]^5*x[4]^5-t^8*x[1]^9*x[2]^7*x[3]*x[4]-t^8*x[1]^9*x[2]*x[3]*x[4]^7- t^8*x[1]^7*x[2]^7*x[3]*x[4]^3+t^8*x[1]^7*x[2]^5*x[3]^3*x[4]^3+t^8*x[1]^7*x[2]^3 *x[3]^3*x[4]^5-t^8*x[1]^7*x[2]*x[3]*x[4]^9+t^8*x[1]^5*x[2]^5*x[3]^5*x[4]^3+t^8* x[1]^5*x[2]^5*x[3]^3*x[4]^5+t^8*x[1]^5*x[2]^3*x[3]^5*x[4]^5+t^8*x[1]^5*x[2]^3*x [3]^3*x[4]^7-t^8*x[1]^3*x[2]^7*x[3]^7*x[4]+t^8*x[1]^3*x[2]^5*x[3]^5*x[4]^5+t^8* x[1]^3*x[2]^3*x[3]^5*x[4]^7-t^8*x[1]^3*x[2]*x[3]^7*x[4]^7-t^8*x[1]*x[2]^7*x[3]^ 7*x[4]^3-t^8*x[1]*x[2]*x[3]^7*x[4]^9+t^6*x[1]^7*x[2]^7*x[3]^3*x[4]^3+t^6*x[1]^7 *x[2]^5*x[3]^3*x[4]^5+t^6*x[1]^7*x[2]^3*x[3]^3*x[4]^7+t^6*x[1]^5*x[2]^7*x[3]^5* x[4]^3+2*t^6*x[1]^5*x[2]^5*x[3]^5*x[4]^5+t^6*x[1]^5*x[2]^3*x[3]^5*x[4]^7+t^6*x[ 1]^3*x[2]^7*x[3]^7*x[4]^3+t^6*x[1]^3*x[2]^5*x[3]^7*x[4]^5+t^6*x[1]^3*x[2]^3*x[3 ]^7*x[4]^7-t^4*x[1]^7*x[2]^7*x[3]^5*x[4]^3-t^4*x[1]^7*x[2]^5*x[3]^5*x[4]^5-t^4* x[1]^5*x[2]^7*x[3]^7*x[4]^3-t^4*x[1]^5*x[2]^7*x[3]^5*x[4]^5-t^4*x[1]^5*x[2]^5*x [3]^7*x[4]^5-t^4*x[1]^5*x[2]^5*x[3]^5*x[4]^7-t^4*x[1]^3*x[2]^7*x[3]^7*x[4]^5-t^ 4*x[1]^3*x[2]^5*x[3]^7*x[4]^7-t^2*x[1]^7*x[2]^7*x[3]^5*x[4]^5-t^2*x[1]^7*x[2]^5 *x[3]^5*x[4]^7-t^2*x[1]^5*x[2]^7*x[3]^7*x[4]^5-t^2*x[1]^5*x[2]^5*x[3]^7*x[4]^7+ t^9*x[1]^6*x[2]^6*x[3]^2*x[4]^2-4*t^9*x[1]^6*x[2]^4*x[3]^2*x[4]^4+t^9*x[1]^6*x[ 2]^2*x[3]^2*x[4]^6-4*t^9*x[1]^4*x[2]^6*x[3]^4*x[4]^2-4*t^9*x[1]^4*x[2]^2*x[3]^4 *x[4]^6+t^9*x[1]^2*x[2]^6*x[3]^6*x[4]^2-4*t^9*x[1]^2*x[2]^4*x[3]^6*x[4]^4+t^9*x [1]^2*x[2]^2*x[3]^6*x[4]^6-t^7*x[1]^8*x[2]^6*x[3]^2*x[4]^2-t^7*x[1]^8*x[2]^4*x[ 3]^2*x[4]^4-t^7*x[1]^8*x[2]^2*x[3]^2*x[4]^6-t^7*x[1]^6*x[2]^6*x[3]^4*x[4]^2-t^7 *x[1]^6*x[2]^6*x[3]^2*x[4]^4+6*t^7*x[1]^6*x[2]^4*x[3]^4*x[4]^4-t^7*x[1]^6*x[2]^ 4*x[3]^2*x[4]^6-t^7*x[1]^6*x[2]^2*x[3]^4*x[4]^6-t^7*x[1]^6*x[2]^2*x[3]^2*x[4]^8 -t^7*x[1]^4*x[2]^6*x[3]^6*x[4]^2-t^7*x[1]^4*x[2]^6*x[3]^4*x[4]^4-t^7*x[1]^4*x[2 ]^4*x[3]^6*x[4]^4+6*t^7*x[1]^4*x[2]^4*x[3]^4*x[4]^6-t^7*x[1]^4*x[2]^2*x[3]^6*x[ 4]^6-t^7*x[1]^4*x[2]^2*x[3]^4*x[4]^8-t^7*x[1]^2*x[2]^6*x[3]^6*x[4]^4-t^7*x[1]^2 *x[2]^4*x[3]^6*x[4]^6-t^7*x[1]^2*x[2]^2*x[3]^6*x[4]^8-4*t^5*x[1]^6*x[2]^6*x[3]^ 4*x[4]^4-4*t^5*x[1]^6*x[2]^4*x[3]^4*x[4]^6-4*t^5*x[1]^4*x[2]^6*x[3]^6*x[4]^4-4* t^5*x[1]^4*x[2]^4*x[3]^6*x[4]^6+t^3*x[1]^8*x[2]^6*x[3]^4*x[4]^4+t^3*x[1]^6*x[2] ^8*x[3]^6*x[4]^2+2*t^3*x[1]^6*x[2]^6*x[3]^6*x[4]^4+t^3*x[1]^6*x[2]^6*x[3]^4*x[4 ]^6+t^3*x[1]^6*x[2]^4*x[3]^6*x[4]^6+t^3*x[1]^4*x[2]^8*x[3]^6*x[4]^4+t^3*x[1]^4* x[2]^6*x[3]^8*x[4]^4+2*t^3*x[1]^4*x[2]^6*x[3]^6*x[4]^6+t^3*x[1]^4*x[2]^4*x[3]^6 *x[4]^8+t^3*x[1]^2*x[2]^6*x[3]^8*x[4]^6+t*x[1]^6*x[2]^6*x[3]^6*x[4]^6-t^8*x[1]^ 7*x[2]^7*x[3]*x[4]-t^8*x[1]^7*x[2]*x[3]*x[4]^7+t^8*x[1]^5*x[2]^5*x[3]^3*x[4]^3+ t^8*x[1]^5*x[2]^3*x[3]^3*x[4]^5+t^8*x[1]^3*x[2]^5*x[3]^5*x[4]^3+t^8*x[1]^3*x[2] ^3*x[3]^5*x[4]^5-t^8*x[1]*x[2]^7*x[3]^7*x[4]-t^8*x[1]*x[2]*x[3]^7*x[4]^7+t^6*x[ 1]^9*x[2]^5*x[3]*x[4]^3+t^6*x[1]^9*x[2]^3*x[3]*x[4]^5+t^6*x[1]^7*x[2]^7*x[3]^3* x[4]-t^6*x[1]^7*x[2]^5*x[3]^3*x[4]^3+t^6*x[1]^7*x[2]^5*x[3]*x[4]^5-t^6*x[1]^7*x [2]^3*x[3]^3*x[4]^5+t^6*x[1]^7*x[2]^3*x[3]*x[4]^7+t^6*x[1]^7*x[2]*x[3]^3*x[4]^7 +t^6*x[1]^5*x[2]^7*x[3]^5*x[4]+t^6*x[1]^5*x[2]^7*x[3]^3*x[4]^3-t^6*x[1]^5*x[2]^ 5*x[3]^5*x[4]^3-t^6*x[1]^5*x[2]^5*x[3]^3*x[4]^5-t^6*x[1]^5*x[2]^3*x[3]^5*x[4]^5 -t^6*x[1]^5*x[2]^3*x[3]^3*x[4]^7+t^6*x[1]^5*x[2]*x[3]^5*x[4]^7+t^6*x[1]^5*x[2]* x[3]^3*x[4]^9+t^6*x[1]^3*x[2]^7*x[3]^5*x[4]^3+t^6*x[1]^3*x[2]^5*x[3]^7*x[4]^3-t ^6*x[1]^3*x[2]^5*x[3]^5*x[4]^5+t^6*x[1]^3*x[2]^3*x[3]^7*x[4]^5-t^6*x[1]^3*x[2]^ 3*x[3]^5*x[4]^7+t^6*x[1]^3*x[2]*x[3]^5*x[4]^9+t^6*x[1]*x[2]^5*x[3]^7*x[4]^5+t^6 *x[1]*x[2]^3*x[3]^7*x[4]^7+t^4*x[1]^9*x[2]^5*x[3]*x[4]^5+4*t^4*x[1]^7*x[2]^5*x[ 3]^3*x[4]^5+t^4*x[1]^5*x[2]^9*x[3]^5*x[4]+4*t^4*x[1]^5*x[2]^7*x[3]^5*x[4]^3+9*t ^4*x[1]^5*x[2]^5*x[3]^5*x[4]^5+4*t^4*x[1]^5*x[2]^3*x[3]^5*x[4]^7+t^4*x[1]^5*x[2 ]*x[3]^5*x[4]^9+4*t^4*x[1]^3*x[2]^5*x[3]^7*x[4]^5+t^4*x[1]*x[2]^5*x[3]^9*x[4]^5 -t^2*x[1]^7*x[2]^7*x[3]^5*x[4]^3-t^2*x[1]^7*x[2]^5*x[3]^5*x[4]^5-t^2*x[1]^5*x[2 ]^7*x[3]^7*x[4]^3-t^2*x[1]^5*x[2]^7*x[3]^5*x[4]^5-t^2*x[1]^5*x[2]^5*x[3]^7*x[4] ^5-t^2*x[1]^5*x[2]^5*x[3]^5*x[4]^7-t^2*x[1]^3*x[2]^7*x[3]^7*x[4]^5-t^2*x[1]^3*x [2]^5*x[3]^7*x[4]^7-t^7*x[1]^6*x[2]^6*x[3]^2*x[4]^2-t^7*x[1]^6*x[2]^4*x[3]^2*x[ 4]^4-t^7*x[1]^6*x[2]^2*x[3]^2*x[4]^6-t^7*x[1]^4*x[2]^6*x[3]^4*x[4]^2+6*t^7*x[1] ^4*x[2]^4*x[3]^4*x[4]^4-t^7*x[1]^4*x[2]^2*x[3]^4*x[4]^6-t^7*x[1]^2*x[2]^6*x[3]^ 6*x[4]^2-t^7*x[1]^2*x[2]^4*x[3]^6*x[4]^4-t^7*x[1]^2*x[2]^2*x[3]^6*x[4]^6-t^5*x[ 1]^10*x[2]^4*x[4]^4-t^5*x[1]^8*x[2]^4*x[4]^6-t^5*x[1]^6*x[2]^8*x[3]^4-3*t^5*x[1 ]^6*x[2]^4*x[3]^4*x[4]^4-t^5*x[1]^6*x[3]^4*x[4]^8-t^5*x[1]^4*x[2]^8*x[3]^4*x[4] ^2-3*t^5*x[1]^4*x[2]^4*x[3]^4*x[4]^6-t^5*x[1]^4*x[3]^4*x[4]^10-t^5*x[1]^2*x[2]^ 4*x[3]^8*x[4]^4-t^5*x[2]^4*x[3]^8*x[4]^6-2*t^3*x[1]^6*x[2]^6*x[3]^4*x[4]^4-2*t^ 3*x[1]^6*x[2]^4*x[3]^4*x[4]^6-2*t^3*x[1]^4*x[2]^6*x[3]^6*x[4]^4-2*t^3*x[1]^4*x[ 2]^4*x[3]^6*x[4]^6+t*x[1]^6*x[2]^6*x[3]^6*x[4]^4+t*x[1]^4*x[2]^6*x[3]^6*x[4]^6+ t^6*x[1]^7*x[2]^5*x[3]*x[4]^3+t^6*x[1]^7*x[2]^3*x[3]*x[4]^5+t^6*x[1]^5*x[2]^7*x [3]^3*x[4]-t^6*x[1]^5*x[2]^5*x[3]^3*x[4]^3-t^6*x[1]^5*x[2]^3*x[3]^3*x[4]^5+t^6* x[1]^5*x[2]*x[3]^3*x[4]^7+t^6*x[1]^3*x[2]^7*x[3]^5*x[4]-t^6*x[1]^3*x[2]^5*x[3]^ 5*x[4]^3-t^6*x[1]^3*x[2]^3*x[3]^5*x[4]^5+t^6*x[1]^3*x[2]*x[3]^5*x[4]^7+t^6*x[1] *x[2]^5*x[3]^7*x[4]^3+t^6*x[1]*x[2]^3*x[3]^7*x[4]^5-t^4*x[1]^7*x[2]^5*x[3]^3*x[ 4]^3-t^4*x[1]^7*x[2]^3*x[3]^3*x[4]^5-t^4*x[1]^5*x[2]^5*x[3]^5*x[4]^3-t^4*x[1]^5 *x[2]^5*x[3]^3*x[4]^5-t^4*x[1]^5*x[2]^3*x[3]^5*x[4]^5-t^4*x[1]^5*x[2]^3*x[3]^3* x[4]^7-t^4*x[1]^3*x[2]^5*x[3]^5*x[4]^5-t^4*x[1]^3*x[2]^3*x[3]^5*x[4]^7+t^2*x[1] ^7*x[2]^5*x[3]^3*x[4]^5+t^2*x[1]^5*x[2]^7*x[3]^5*x[4]^3+2*t^2*x[1]^5*x[2]^5*x[3 ]^5*x[4]^5+t^2*x[1]^5*x[2]^3*x[3]^5*x[4]^7+t^2*x[1]^3*x[2]^5*x[3]^7*x[4]^5-t^5* x[1]^8*x[2]^4*x[4]^4-t^5*x[1]^4*x[2]^8*x[3]^4-3*t^5*x[1]^4*x[2]^4*x[3]^4*x[4]^4 -t^5*x[1]^4*x[3]^4*x[4]^8-t^5*x[2]^4*x[3]^8*x[4]^4+t^3*x[1]^8*x[2]^4*x[3]^2*x[4 ]^4+t^3*x[1]^6*x[2]^6*x[3]^4*x[4]^2+2*t^3*x[1]^6*x[2]^4*x[3]^4*x[4]^4+t^3*x[1]^ 6*x[2]^4*x[3]^2*x[4]^6+t^3*x[1]^6*x[2]^2*x[3]^4*x[4]^6+t^3*x[1]^4*x[2]^6*x[3]^4 *x[4]^4+t^3*x[1]^4*x[2]^4*x[3]^6*x[4]^4+2*t^3*x[1]^4*x[2]^4*x[3]^4*x[4]^6+t^3*x [1]^4*x[2]^2*x[3]^4*x[4]^8+t^3*x[1]^2*x[2]^4*x[3]^6*x[4]^6-t^4*x[1]^5*x[2]^5*x[ 3]^3*x[4]^3-t^4*x[1]^5*x[2]^3*x[3]^3*x[4]^5-t^4*x[1]^3*x[2]^5*x[3]^5*x[4]^3-t^4 *x[1]^3*x[2]^3*x[3]^5*x[4]^5-t^2*x[1]^7*x[2]^5*x[3]^3*x[4]^3-t^2*x[1]^7*x[2]^3* x[3]^3*x[4]^5-t^2*x[1]^5*x[2]^5*x[3]^5*x[4]^3-t^2*x[1]^5*x[2]^5*x[3]^3*x[4]^5-t ^2*x[1]^5*x[2]^3*x[3]^5*x[4]^5-t^2*x[1]^5*x[2]^3*x[3]^3*x[4]^7-t^2*x[1]^3*x[2]^ 5*x[3]^5*x[4]^5-t^2*x[1]^3*x[2]^3*x[3]^5*x[4]^7+x[1]^5*x[2]^5*x[3]^5*x[4]^5+t^3 *x[1]^6*x[2]^4*x[3]^2*x[4]^4+t^3*x[1]^4*x[2]^6*x[3]^4*x[4]^2+2*t^3*x[1]^4*x[2]^ 4*x[3]^4*x[4]^4+t^3*x[1]^4*x[2]^2*x[3]^4*x[4]^6+t^3*x[1]^2*x[2]^4*x[3]^6*x[4]^4 +t*x[1]^6*x[2]^4*x[3]^4*x[4]^4+t*x[1]^4*x[2]^4*x[3]^4*x[4]^6-t^2*x[1]^5*x[2]^5* x[3]^3*x[4]^3-t^2*x[1]^5*x[2]^3*x[3]^3*x[4]^5-t^2*x[1]^3*x[2]^5*x[3]^5*x[4]^3-t ^2*x[1]^3*x[2]^3*x[3]^5*x[4]^5+t*x[1]^4*x[2]^4*x[3]^4*x[4]^4)/x[1]/x[2]/(t^16*x [1]^4*x[2]^4*x[3]^4*x[4]^4-2*t^14*x[1]^4*x[2]^4*x[3]^4*x[4]^4-3*t^13*x[1]^5*x[2 ]^5*x[3]^3*x[4]^3-3*t^13*x[1]^5*x[2]^3*x[3]^3*x[4]^5-3*t^13*x[1]^3*x[2]^5*x[3]^ 5*x[4]^3-3*t^13*x[1]^3*x[2]^3*x[3]^5*x[4]^5-7*t^12*x[1]^4*x[2]^4*x[3]^4*x[4]^4+ t^11*x[1]^5*x[2]^5*x[3]^3*x[4]^3+t^11*x[1]^5*x[2]^3*x[3]^3*x[4]^5+t^11*x[1]^3*x [2]^5*x[3]^5*x[4]^3+t^11*x[1]^3*x[2]^3*x[3]^5*x[4]^5+3*t^10*x[1]^6*x[2]^6*x[3]^ 2*x[4]^2+2*t^10*x[1]^6*x[2]^4*x[3]^2*x[4]^4+3*t^10*x[1]^6*x[2]^2*x[3]^2*x[4]^6+ 2*t^10*x[1]^4*x[2]^6*x[3]^4*x[4]^2+2*t^10*x[1]^4*x[2]^4*x[3]^4*x[4]^4+2*t^10*x[ 1]^4*x[2]^2*x[3]^4*x[4]^6+3*t^10*x[1]^2*x[2]^6*x[3]^6*x[4]^2+2*t^10*x[1]^2*x[2] ^4*x[3]^6*x[4]^4+3*t^10*x[1]^2*x[2]^2*x[3]^6*x[4]^6+3*t^9*x[1]^5*x[2]^5*x[3]^3* x[4]^3+3*t^9*x[1]^5*x[2]^3*x[3]^3*x[4]^5+3*t^9*x[1]^3*x[2]^5*x[3]^5*x[4]^3+3*t^ 9*x[1]^3*x[2]^3*x[3]^5*x[4]^5+t^8*x[1]^6*x[2]^6*x[3]^2*x[4]^2-4*t^8*x[1]^6*x[2] ^4*x[3]^2*x[4]^4+t^8*x[1]^6*x[2]^2*x[3]^2*x[4]^6-4*t^8*x[1]^4*x[2]^6*x[3]^4*x[4 ]^2-4*t^8*x[1]^4*x[2]^2*x[3]^4*x[4]^6+t^8*x[1]^2*x[2]^6*x[3]^6*x[4]^2-4*t^8*x[1 ]^2*x[2]^4*x[3]^6*x[4]^4+t^8*x[1]^2*x[2]^2*x[3]^6*x[4]^6-t^7*x[1]^7*x[2]^7*x[3] *x[4]-t^7*x[1]^7*x[2]*x[3]*x[4]^7+t^7*x[1]^5*x[2]^5*x[3]^3*x[4]^3+t^7*x[1]^5*x[ 2]^3*x[3]^3*x[4]^5+t^7*x[1]^3*x[2]^5*x[3]^5*x[4]^3+t^7*x[1]^3*x[2]^3*x[3]^5*x[4 ]^5-t^7*x[1]*x[2]^7*x[3]^7*x[4]-t^7*x[1]*x[2]*x[3]^7*x[4]^7-t^6*x[1]^6*x[2]^6*x [3]^2*x[4]^2-t^6*x[1]^6*x[2]^4*x[3]^2*x[4]^4-t^6*x[1]^6*x[2]^2*x[3]^2*x[4]^6-t^ 6*x[1]^4*x[2]^6*x[3]^4*x[4]^2+6*t^6*x[1]^4*x[2]^4*x[3]^4*x[4]^4-t^6*x[1]^4*x[2] ^2*x[3]^4*x[4]^6-t^6*x[1]^2*x[2]^6*x[3]^6*x[4]^2-t^6*x[1]^2*x[2]^4*x[3]^6*x[4]^ 4-t^6*x[1]^2*x[2]^2*x[3]^6*x[4]^6+t^5*x[1]^7*x[2]^5*x[3]*x[4]^3+t^5*x[1]^7*x[2] ^3*x[3]*x[4]^5+t^5*x[1]^5*x[2]^7*x[3]^3*x[4]-t^5*x[1]^5*x[2]^5*x[3]^3*x[4]^3-t^ 5*x[1]^5*x[2]^3*x[3]^3*x[4]^5+t^5*x[1]^5*x[2]*x[3]^3*x[4]^7+t^5*x[1]^3*x[2]^7*x [3]^5*x[4]-t^5*x[1]^3*x[2]^5*x[3]^5*x[4]^3-t^5*x[1]^3*x[2]^3*x[3]^5*x[4]^5+t^5* x[1]^3*x[2]*x[3]^5*x[4]^7+t^5*x[1]*x[2]^5*x[3]^7*x[4]^3+t^5*x[1]*x[2]^3*x[3]^7* x[4]^5-t^4*x[1]^8*x[2]^4*x[4]^4-t^4*x[1]^4*x[2]^8*x[3]^4-3*t^4*x[1]^4*x[2]^4*x[ 3]^4*x[4]^4-t^4*x[1]^4*x[3]^4*x[4]^8-t^4*x[2]^4*x[3]^8*x[4]^4-t^3*x[1]^5*x[2]^5 *x[3]^3*x[4]^3-t^3*x[1]^5*x[2]^3*x[3]^3*x[4]^5-t^3*x[1]^3*x[2]^5*x[3]^5*x[4]^3- t^3*x[1]^3*x[2]^3*x[3]^5*x[4]^5+t^2*x[1]^6*x[2]^4*x[3]^2*x[4]^4+t^2*x[1]^4*x[2] ^6*x[3]^4*x[4]^2+2*t^2*x[1]^4*x[2]^4*x[3]^4*x[4]^4+t^2*x[1]^4*x[2]^2*x[3]^4*x[4 ]^6+t^2*x[1]^2*x[2]^4*x[3]^6*x[4]^4-t*x[1]^5*x[2]^5*x[3]^3*x[4]^3-t*x[1]^5*x[2] ^3*x[3]^3*x[4]^5-t*x[1]^3*x[2]^5*x[3]^5*x[4]^3-t*x[1]^3*x[2]^3*x[3]^5*x[4]^5+x[ 1]^4*x[2]^4*x[3]^4*x[4]^4)/x[4]/x[3]: