{{OrePolynomial[{{x3 + x4 + x5 - x3*x5^2 - x4*x5^2 - x5^3 - x3^2*z - 2*x3*x4*z - x4^2*z + 2*x3^2*x4^2*z - 2*x3*x5*z - 2*x4*x5*z + 3*x3^2*x4*x5*z + 3*x3*x4^2*x5*z - x5^2*z + 3*x3^2*x5^2*z + 5*x3*x4*x5^2*z + 3*x4^2*x5^2*z - 2*x3^2*x4^2*x5^2*z + 2*x3*x5^3*z + 2*x4*x5^3*z - 3*x3^2*x4*x5^3*z - 3*x3*x4^2*x5^3*z + x5^4*z - 2*x3^2*x5^4*z - 3*x3*x4*x5^4*z - 2*x4^2*x5^4*z, {0, 0, 1, 0}}, {-z + x5^2*z + x3*z^2 + x4*z^2 - 3*x3^2*x4*z^2 - 3*x3*x4^2*z^2 + x5*z^2 - 2*x3^2*x5*z^2 - 3*x3*x4*x5*z^2 - 2*x4^2*x5*z^2 - x3*x5^2*z^2 - x4*x5^2*z^2 + 3*x3^2*x4*x5^2*z^2 + 3*x3*x4^2*x5^2*z^2 - x5^3*z^2 + 2*x3^2*x5^3*z^2 + 3*x3*x4*x5^3*z^2 + 2*x4^2*x5^3*z^2 - x3^3*x4*z^3 - x3*x4^3*z^3 - 2*x3^3*x4^3*z^3 - 2*x3^3*x5*z^3 - 3*x3^2*x4*x5*z^3 - 3*x3*x4^2*x5*z^3 - x3^3*x4^2*x5*z^3 - 2*x4^3*x5*z^3 - x3^2*x4^3*x5*z^3 + x3^3*x4*x5^2*z^3 + x3*x4^3*x5^2*z^3 + 2*x3^3*x4^3*x5^2*z^3 + 2*x3^3*x5^3*z^3 + 3*x3^2*x4*x5^3*z^3 + 3*x3*x4^2*x5^3*z^3 + x3^3*x4^2*x5^3*z^3 + 2*x4^3*x5^3*z^3 + x3^2*x4^3*x5^3*z^3, {0, 0, 0, 1}}, {-(x3*x5) - x4*x5 - x5^2 - x3^2*x4*z - x3*x4^2*z + x3^2*x5*z + 2*x3*x4*x5*z + x4^2*x5*z - 2*x3^2*x4^2*x5*z + 2*x3*x5^2*z + 2*x4*x5^2*z - 2*x3^2*x4*x5^2*z - 2*x3*x4^2*x5^2*z + x5^3*z - 2*x3^2*x5^3*z - 3*x3*x4*x5^3*z - 2*x4^2*x5^3*z - x3^3*x4*z^2 - x3*x4^3*z^2 - 2*x3^3*x4^3*z^2 - 2*x3^3*x5*z^2 - 3*x3^2*x4*x5*z^2 - 3*x3*x4^2*x5*z^2 - x3^3*x4^2*x5*z^2 - 2*x4^3*x5*z^2 - x3^2*x4^3*x5*z^2 + x3^3*x4*x5^2*z^2 + x3*x4^3*x5^2*z^2 + 2*x3^3*x4^3*x5^2*z^2 + 2*x3^3*x5^3*z^2 + 3*x3^2*x4*x5^3*z^2 + 3*x3*x4^2*x5^3*z^2 + x3^3*x4^2*x5^3*z^2 + 2*x4^3*x5^3*z^2 + x3^2*x4^3*x5^3*z^2, {0, 0, 0, 0}}}, OreAlgebraObject[{Der[x3], Der[x4], Der[x5], Der[z]}, Expand, #1 + #2 & , Expand[#1*#2] & , None], DegreeLexicographic], OrePolynomial[{{x3 + x4 - x3*x4^2 - x4^3 + x5 - x4^2*x5 - x3^2*z - 2*x3*x4*z - x4^2*z + 3*x3^2*x4^2*z + 2*x3*x4^3*z + x4^4*z - 2*x3^2*x4^4*z - 2*x3*x5*z - 2*x4*x5*z + 3*x3^2*x4*x5*z + 5*x3*x4^2*x5*z + 2*x4^3*x5*z - 3*x3^2*x4^3*x5*z - 3*x3*x4^4*x5*z - x5^2*z + 2*x3^2*x5^2*z + 3*x3*x4*x5^2*z + 3*x4^2*x5^2*z - 2*x3^2*x4^2*x5^2*z - 3*x3*x4^3*x5^2*z - 2*x4^4*x5^2*z, {0, 1, 0, 0}}, {-z + x4^2*z + x3*z^2 + x4*z^2 - 2*x3^2*x4*z^2 - x3*x4^2*z^2 - x4^3*z^2 + 2*x3^2*x4^3*z^2 + x5*z^2 - 3*x3^2*x5*z^2 - 3*x3*x4*x5*z^2 - x4^2*x5*z^2 + 3*x3^2*x4^2*x5*z^2 + 3*x3*x4^3*x5*z^2 - 3*x3*x5^2*z^2 - 2*x4*x5^2*z^2 + 3*x3*x4^2*x5^2*z^2 + 2*x4^3*x5^2*z^2 - 2*x3^3*x4*z^3 + 2*x3^3*x4^3*z^3 - x3^3*x5*z^3 - 3*x3^2*x4*x5*z^3 + x3^3*x4^2*x5*z^3 + 3*x3^2*x4^3*x5*z^3 - 3*x3*x4*x5^2*z^3 - x3^3*x4*x5^2*z^3 + 3*x3*x4^3*x5^2*z^3 + x3^3*x4^3*x5^2*z^3 - x3*x5^3*z^3 - 2*x3^3*x5^3*z^3 - 2*x4*x5^3*z^3 - x3^2*x4*x5^3*z^3 + x3*x4^2*x5^3*z^3 + 2*x3^3*x4^2*x5^3*z^3 + 2*x4^3*x5^3*z^3 + x3^2*x4^3*x5^3*z^3, {0, 0, 0, 1}}, {-(x3*x4) - x4^2 - x4*x5 + x3^2*x4*z + 2*x3*x4^2*z + x4^3*z - 2*x3^2*x4^3*z - x3^2*x5*z + 2*x3*x4*x5*z + 2*x4^2*x5*z - 2*x3^2*x4^2*x5*z - 3*x3*x4^3*x5*z - x3*x5^2*z + x4*x5^2*z - 2*x3^2*x4*x5^2*z - 2*x3*x4^2*x5^2*z - 2*x4^3*x5^2*z - 2*x3^3*x4*z^2 + 2*x3^3*x4^3*z^2 - x3^3*x5*z^2 - 3*x3^2*x4*x5*z^2 + x3^3*x4^2*x5*z^2 + 3*x3^2*x4^3*x5*z^2 - 3*x3*x4*x5^2*z^2 - x3^3*x4*x5^2*z^2 + 3*x3*x4^3*x5^2*z^2 + x3^3*x4^3*x5^2*z^2 - x3*x5^3*z^2 - 2*x3^3*x5^3*z^2 - 2*x4*x5^3*z^2 - x3^2*x4*x5^3*z^2 + x3*x4^2*x5^3*z^2 + 2*x3^3*x4^2*x5^3*z^2 + 2*x4^3*x5^3*z^2 + x3^2*x4^3*x5^3*z^2, {0, 0, 0, 0}}}, OreAlgebraObject[{Der[x3], Der[x4], Der[x5], Der[z]}, Expand, #1 + #2 & , Expand[#1*#2] & , None], DegreeLexicographic], OrePolynomial[{{x3 - x3^3 + x4 - x3^2*x4 + x5 - x3^2*x5 - x3^2*z + x3^4*z - 2*x3*x4*z + 2*x3^3*x4*z - x4^2*z + 3*x3^2*x4^2*z - 2*x3^4*x4^2*z - 2*x3*x5*z + 2*x3^3*x5*z - 2*x4*x5*z + 5*x3^2*x4*x5*z - 3*x3^4*x4*x5*z + 3*x3*x4^2*x5*z - 3*x3^3*x4^2*x5*z - x5^2*z + 3*x3^2*x5^2*z - 2*x3^4*x5^2*z + 3*x3*x4*x5^2*z - 3*x3^3*x4*x5^2*z + 2*x4^2*x5^2*z - 2*x3^2*x4^2*x5^2*z, {1, 0, 0, 0}}, {-z + x3^2*z + x3*z^2 - x3^3*z^2 + x4*z^2 - x3^2*x4*z^2 - 2*x3*x4^2*z^2 + 2*x3^3*x4^2*z^2 + x5*z^2 - x3^2*x5*z^2 - 3*x3*x4*x5*z^2 + 3*x3^3*x4*x5*z^2 - 3*x4^2*x5*z^2 + 3*x3^2*x4^2*x5*z^2 - 2*x3*x5^2*z^2 + 2*x3^3*x5^2*z^2 - 3*x4*x5^2*z^2 + 3*x3^2*x4*x5^2*z^2 - 2*x3*x4^3*z^3 + 2*x3^3*x4^3*z^3 - 3*x3*x4^2*x5*z^3 + 3*x3^3*x4^2*x5*z^3 - x4^3*x5*z^3 + x3^2*x4^3*x5*z^3 - 3*x3*x4*x5^2*z^3 + 3*x3^3*x4*x5^2*z^3 - x3*x4^3*x5^2*z^3 + x3^3*x4^3*x5^2*z^3 - 2*x3*x5^3*z^3 + 2*x3^3*x5^3*z^3 - x4*x5^3*z^3 + x3^2*x4*x5^3*z^3 - x3*x4^2*x5^3*z^3 + x3^3*x4^2*x5^3*z^3 - 2*x4^3*x5^3*z^3 + 2*x3^2*x4^3*x5^3*z^3, {0, 0, 0, 1}}, {-x3^2 - x3*x4 - x3*x5 + x3^3*z + 2*x3^2*x4*z + x3*x4^2*z - 2*x3^3*x4^2*z + 2*x3^2*x5*z + 2*x3*x4*x5*z - 3*x3^3*x4*x5*z - x4^2*x5*z - 2*x3^2*x4^2*x5*z + x3*x5^2*z - 2*x3^3*x5^2*z - x4*x5^2*z - 2*x3^2*x4*x5^2*z - 2*x3*x4^2*x5^2*z - 2*x3*x4^3*z^2 + 2*x3^3*x4^3*z^2 - 3*x3*x4^2*x5*z^2 + 3*x3^3*x4^2*x5*z^2 - x4^3*x5*z^2 + x3^2*x4^3*x5*z^2 - 3*x3*x4*x5^2*z^2 + 3*x3^3*x4*x5^2*z^2 - x3*x4^3*x5^2*z^2 + x3^3*x4^3*x5^2*z^2 - 2*x3*x5^3*z^2 + 2*x3^3*x5^3*z^2 - x4*x5^3*z^2 + x3^2*x4*x5^3*z^2 - x3*x4^2*x5^3*z^2 + x3^3*x4^2*x5^3*z^2 - 2*x4^3*x5^3*z^2 + 2*x3^2*x4^3*x5^3*z^2, {0, 0, 0, 0}}}, OreAlgebraObject[{Der[x3], Der[x4], Der[x5], Der[z]}, Expand, #1 + #2 & , Expand[#1*#2] & , None], DegreeLexicographic], OrePolynomial[{{-(x3^2*z) - 2*x3*x4*z - x4^2*z - 2*x3*x5*z - 2*x4*x5*z - x5^2*z + 2*x3^3*z^2 + 6*x3^2*x4*z^2 + 6*x3*x4^2*z^2 - 3*x3^3*x4^2*z^2 + 2*x4^3*z^2 - 3*x3^2*x4^3*z^2 + 6*x3^2*x5*z^2 + 12*x3*x4*x5*z^2 - x3^3*x4*x5*z^2 + 6*x4^2*x5*z^2 - 5*x3^2*x4^2*x5*z^2 - x3*x4^3*x5*z^2 + 6*x3*x5^2*z^2 - 3*x3^3*x5^2*z^2 + 6*x4*x5^2*z^2 - 5*x3^2*x4*x5^2*z^2 - 5*x3*x4^2*x5^2*z^2 - 3*x4^3*x5^2*z^2 + 2*x5^3*z^2 - 3*x3^2*x5^3*z^2 - x3*x4*x5^3*z^2 - 3*x4^2*x5^3*z^2 + 8*x3^4*x4^2*z^3 + 16*x3^3*x4^3*z^3 + 8*x3^2*x4^4*z^3 - 2*x3^4*x4^4*z^3 + 8*x3^4*x4*x5*z^3 + 40*x3^3*x4^2*x5*z^3 + 40*x3^2*x4^3*x5*z^3 + 4*x3^4*x4^3*x5*z^3 + 8*x3*x4^4*x5*z^3 + 4*x3^3*x4^4*x5*z^3 + 8*x3^4*x5^2*z^3 + 40*x3^3*x4*x5^2*z^3 + 72*x3^2*x4^2*x5^2*z^3 + 2*x3^4*x4^2*x5^2*z^3 + 40*x3*x4^3*x5^2*z^3 + 16*x3^3*x4^3*x5^2*z^3 + 8*x4^4*x5^2*z^3 + 2*x3^2*x4^4*x5^2*z^3 + 16*x3^3*x5^3*z^3 + 40*x3^2*x4*x5^3*z^3 + 4*x3^4*x4*x5^3*z^3 + 40*x3*x4^2*x5^3*z^3 + 16*x3^3*x4^2*x5^3*z^3 + 16*x4^3*x5^3*z^3 + 16*x3^2*x4^3*x5^3*z^3 + 4*x3*x4^4*x5^3*z^3 + 8*x3^2*x5^4*z^3 - 2*x3^4*x5^4*z^3 + 8*x3*x4*x5^4*z^3 + 4*x3^3*x4*x5^4*z^3 + 8*x4^2*x5^4*z^3 + 2*x3^2*x4^2*x5^4*z^3 + 4*x3*x4^3*x5^4*z^3 - 2*x4^4*x5^4*z^3 - 2*x3^5*z^4 - 10*x3^4*x4*z^4 - 20*x3^3*x4^2*z^4 + 2*x3^5*x4^2*z^4 - 20*x3^2*x4^3*z^4 + 6*x3^4*x4^3*z^4 - 10*x3*x4^4*z^4 + 6*x3^3*x4^4*z^4 + 14*x3^5*x4^4*z^4 - 2*x4^5*z^4 + 2*x3^2*x4^5*z^4 + 14*x3^4*x4^5*z^4 - 10*x3^4*x5*z^4 - 40*x3^3*x4*x5*z^4 + 4*x3^5*x4*x5*z^4 - 60*x3^2*x4^2*x5*z^4 + 22*x3^4*x4^2*x5*z^4 - 40*x3*x4^3*x5*z^4 + 36*x3^3*x4^3*x5*z^4 + 32*x3^5*x4^3*x5*z^4 - 10*x4^4*x5*z^4 + 22*x3^2*x4^4*x5*z^4 + 78*x3^4*x4^4*x5*z^4 + 4*x3*x4^5*x5*z^4 + 32*x3^3*x4^5*x5*z^4 + 6*x3^5*x4^5*x5*z^4 - 20*x3^3*x5^2*z^4 + 2*x3^5*x5^2*z^4 - 60*x3^2*x4*x5^2*z^4 + 22*x3^4*x4*x5^2*z^4 - 60*x3*x4^2*x5^2*z^4 + 62*x3^3*x4^2*x5^2*z^4 + 48*x3^5*x4^2*x5^2*z^4 - 20*x4^3*x5^2*z^4 + 62*x3^2*x4^3*x5^2*z^4 + 152*x3^4*x4^3*x5^2*z^4 + 22*x3*x4^4*x5^2*z^4 + 152*x3^3*x4^4*x5^2*z^4 + 6*x3^5*x4^4*x5^2*z^4 + 2*x4^5*x5^2*z^4 + 48*x3^2*x4^5*x5^2*z^4 + 6*x3^4*x4^5*x5^2*z^4 - 20*x3^2*x5^3*z^4 + 6*x3^4*x5^3*z^4 - 40*x3*x4*x5^3*z^4 + 36*x3^3*x4*x5^3*z^4 + 32*x3^5*x4*x5^3*z^4 - 20*x4^2*x5^3*z^4 + 62*x3^2*x4^2*x5^3*z^4 + 152*x3^4*x4^2*x5^3*z^4 + 36*x3*x4^3*x5^3*z^4 + 216*x3^3*x4^3*x5^3*z^4 + 10*x3^5*x4^3*x5^3*z^4 + 6*x4^4*x5^3*z^4 + 152*x3^2*x4^4*x5^3*z^4 + 2*x3^4*x4^4*x5^3*z^4 + 32*x3*x4^5*x5^3*z^4 + 10*x3^3*x4^5*x5^3*z^4 - 10*x3*x5^4*z^4 + 6*x3^3*x5^4*z^4 + 14*x3^5*x5^4*z^4 - 10*x4*x5^4*z^4 + 22*x3^2*x4*x5^4*z^4 + 78*x3^4*x4*x5^4*z^4 + 22*x3*x4^2*x5^4*z^4 + 152*x3^3*x4^2*x5^4*z^4 + 6*x3^5*x4^2*x5^4*z^4 + 6*x4^3*x5^4*z^4 + 152*x3^2*x4^3*x5^4*z^4 + 2*x3^4*x4^3*x5^4*z^4 + 78*x3*x4^4*x5^4*z^4 + 2*x3^3*x4^4*x5^4*z^4 + 14*x4^5*x5^4*z^4 + 6*x3^2*x4^5*x5^4*z^4 - 2*x5^5*z^4 + 2*x3^2*x5^5*z^4 + 14*x3^4*x5^5*z^4 + 4*x3*x4*x5^5*z^4 + 32*x3^3*x4*x5^5*z^4 + 6*x3^5*x4*x5^5*z^4 + 2*x4^2*x5^5*z^4 + 48*x3^2*x4^2*x5^5*z^4 + 6*x3^4*x4^2*x5^5*z^4 + 32*x3*x4^3*x5^5*z^4 + 10*x3^3*x4^3*x5^5*z^4 + 14*x4^4*x5^5*z^4 + 6*x3^2*x4^4*x5^5*z^4 + 6*x3*x4^5*x5^5*z^4 + x3^6*z^5 + 6*x3^5*x4*z^5 + 15*x3^4*x4^2*z^5 - 8*x3^6*x4^2*z^5 + 20*x3^3*x4^3*z^5 - 32*x3^5*x4^3*z^5 + 15*x3^2*x4^4*z^5 - 48*x3^4*x4^4*z^5 + 10*x3^6*x4^4*z^5 + 6*x3*x4^5*z^5 - 32*x3^3*x4^5*z^5 + 20*x3^5*x4^5*z^5 + x4^6*z^5 - 8*x3^2*x4^6*z^5 + 10*x3^4*x4^6*z^5 + 8*x3^6*x4^6*z^5 + 6*x3^5*x5*z^5 + 30*x3^4*x4*x5*z^5 - 12*x3^6*x4*x5*z^5 + 60*x3^3*x4^2*x5*z^5 - 92*x3^5*x4^2*x5*z^5 + 60*x3^2*x4^3*x5*z^5 - 216*x3^4*x4^3*x5*z^5 + 36*x3^6*x4^3*x5*z^5 + 30*x3*x4^4*x5*z^5 - 216*x3^3*x4^4*x5*z^5 + 128*x3^5*x4^4*x5*z^5 + 6*x4^5*x5*z^5 - 92*x3^2*x4^5*x5*z^5 + 128*x3^4*x4^5*x5*z^5 + 20*x3^6*x4^5*x5*z^5 - 12*x3*x4^6*x5*z^5 + 36*x3^3*x4^6*x5*z^5 + 20*x3^5*x4^6*x5*z^5 + 15*x3^4*x5^2*z^5 - 8*x3^6*x5^2*z^5 + 60*x3^3*x4*x5^2*z^5 - 92*x3^5*x4*x5^2*z^5 + 90*x3^2*x4^2*x5^2*z^5 - 344*x3^4*x4^2*x5^2*z^5 + 52*x3^6*x4^2*x5^2*z^5 + 60*x3*x4^3*x5^2*z^5 - 520*x3^3*x4^3*x5^2*z^5 + 276*x3^5*x4^3*x5^2*z^5 + 15*x4^4*x5^2*z^5 - 344*x3^2*x4^4*x5^2*z^5 + 458*x3^4*x4^4*x5^2*z^5 + 32*x3^6*x4^4*x5^2*z^5 - 92*x3*x4^5*x5^2*z^5 + 276*x3^3*x4^5*x5^2*z^5 + 36*x3^5*x4^5*x5^2*z^5 - 8*x4^6*x5^2*z^5 + 52*x3^2*x4^6*x5^2*z^5 + 32*x3^4*x4^6*x5^2*z^5 - 6*x3^6*x4^6*x5^2*z^5 + 20*x3^3*x5^3*z^5 - 32*x3^5*x5^3*z^5 + 60*x3^2*x4*x5^3*z^5 - 216*x3^4*x4*x5^3*z^5 + 36*x3^6*x4*x5^3*z^5 + 60*x3*x4^2*x5^3*z^5 - 520*x3^3*x4^2*x5^3*z^5 + 276*x3^5*x4^2*x5^3*z^5 + 20*x4^3*x5^3*z^5 - 520*x3^2*x4^3*x5^3*z^5 + 676*x3^4*x4^3*x5^3*z^5 + 32*x3^6*x4^3*x5^3*z^5 - 216*x3*x4^4*x5^3*z^5 + 676*x3^3*x4^4*x5^3*z^5 + 32*x3^5*x4^4*x5^3*z^5 - 32*x4^5*x5^3*z^5 + 276*x3^2*x4^5*x5^3*z^5 + 32*x3^4*x4^5*x5^3*z^5 - 12*x3^6*x4^5*x5^3*z^5 + 36*x3*x4^6*x5^3*z^5 + 32*x3^3*x4^6*x5^3*z^5 - 12*x3^5*x4^6*x5^3*z^5 + 15*x3^2*x5^4*z^5 - 48*x3^4*x5^4*z^5 + 10*x3^6*x5^4*z^5 + 30*x3*x4*x5^4*z^5 - 216*x3^3*x4*x5^4*z^5 + 128*x3^5*x4*x5^4*z^5 + 15*x4^2*x5^4*z^5 - 344*x3^2*x4^2*x5^4*z^5 + 458*x3^4*x4^2*x5^4*z^5 + 32*x3^6*x4^2*x5^4*z^5 - 216*x3*x4^3*x5^4*z^5 + 676*x3^3*x4^3*x5^4*z^5 + 32*x3^5*x4^3*x5^4*z^5 - 48*x4^4*x5^4*z^5 + 458*x3^2*x4^4*x5^4*z^5 + 24*x3^4*x4^4*x5^4*z^5 - 17*x3^6*x4^4*x5^4*z^5 + 128*x3*x4^5*x5^4*z^5 + 32*x3^3*x4^5*x5^4*z^5 - 22*x3^5*x4^5*x5^4*z^5 + 10*x4^6*x5^4*z^5 + 32*x3^2*x4^6*x5^4*z^5 - 17*x3^4*x4^6*x5^4*z^5 + 6*x3*x5^5*z^5 - 32*x3^3*x5^5*z^5 + 20*x3^5*x5^5*z^5 + 6*x4*x5^5*z^5 - 92*x3^2*x4*x5^5*z^5 + 128*x3^4*x4*x5^5*z^5 + 20*x3^6*x4*x5^5*z^5 - 92*x3*x4^2*x5^5*z^5 + 276*x3^3*x4^2*x5^5*z^5 + 36*x3^5*x4^2*x5^5*z^5 - 32*x4^3*x5^5*z^5 + 276*x3^2*x4^3*x5^5*z^5 + 32*x3^4*x4^3*x5^5*z^5 - 12*x3^6*x4^3*x5^5*z^5 + 128*x3*x4^4*x5^5*z^5 + 32*x3^3*x4^4*x5^5*z^5 - 22*x3^5*x4^4*x5^5*z^5 + 20*x4^5*x5^5*z^5 + 36*x3^2*x4^5*x5^5*z^5 - 22*x3^4*x4^5*x5^5*z^5 + 20*x3*x4^6*x5^5*z^5 - 12*x3^3*x4^6*x5^5*z^5 + x5^6*z^5 - 8*x3^2*x5^6*z^5 + 10*x3^4*x5^6*z^5 + 8*x3^6*x5^6*z^5 - 12*x3*x4*x5^6*z^5 + 36*x3^3*x4*x5^6*z^5 + 20*x3^5*x4*x5^6*z^5 - 8*x4^2*x5^6*z^5 + 52*x3^2*x4^2*x5^6*z^5 + 32*x3^4*x4^2*x5^6*z^5 - 6*x3^6*x4^2*x5^6*z^5 + 36*x3*x4^3*x5^6*z^5 + 32*x3^3*x4^3*x5^6*z^5 - 12*x3^5*x4^3*x5^6*z^5 + 10*x4^4*x5^6*z^5 + 32*x3^2*x4^4*x5^6*z^5 - 17*x3^4*x4^4*x5^6*z^5 + 20*x3*x4^5*x5^6*z^5 - 12*x3^3*x4^5*x5^6*z^5 + 8*x4^6*x5^6*z^5 - 6*x3^2*x4^6*x5^6*z^5 + x3^7*x4^2*z^6 + 5*x3^6*x4^3*z^6 + 10*x3^5*x4^4*z^6 - 6*x3^7*x4^4*z^6 + 10*x3^4*x4^5*z^6 - 18*x3^6*x4^5*z^6 + 5*x3^3*x4^6*z^6 - 18*x3^5*x4^6*z^6 + 8*x3^7*x4^6*z^6 + x3^2*x4^7*z^6 - 6*x3^4*x4^7*z^6 + 8*x3^6*x4^7*z^6 + x3^7*x4*x5*z^6 + 11*x3^6*x4^2*x5*z^6 + 35*x3^5*x4^3*x5*z^6 - 16*x3^7*x4^3*x5*z^6 + 50*x3^4*x4^4*x5*z^6 - 82*x3^6*x4^4*x5*z^6 + 35*x3^3*x4^5*x5*z^6 - 132*x3^5*x4^5*x5*z^6 + 38*x3^7*x4^5*x5*z^6 + 11*x3^2*x4^6*x5*z^6 - 82*x3^4*x4^6*x5*z^6 + 84*x3^6*x4^6*x5*z^6 + x3*x4^7*x5*z^6 - 16*x3^3*x4^7*x5*z^6 + 38*x3^5*x4^7*x5*z^6 - 8*x3^7*x4^7*x5*z^6 + x3^7*x5^2*z^6 + 11*x3^6*x4*x5^2*z^6 + 51*x3^5*x4^2*x5^2*z^6 - 22*x3^7*x4^2*x5^2*z^6 + 105*x3^4*x4^3*x5^2*z^6 - 150*x3^6*x4^3*x5^2*z^6 + 105*x3^3*x4^4*x5^2*z^6 - 358*x3^5*x4^4*x5^2*z^6 + 82*x3^7*x4^4*x5^2*z^6 + 51*x3^2*x4^5*x5^2*z^6 - 358*x3^4*x4^5*x5^2*z^6 + 274*x3^6*x4^5*x5^2*z^6 + 11*x3*x4^6*x5^2*z^6 - 150*x3^3*x4^6*x5^2*z^6 + 274*x3^5*x4^6*x5^2*z^6 - 34*x3^7*x4^6*x5^2*z^6 + x4^7*x5^2*z^6 - 22*x3^2*x4^7*x5^2*z^6 + 82*x3^4*x4^7*x5^2*z^6 - 34*x3^6*x4^7*x5^2*z^6 + 5*x3^6*x5^3*z^6 + 35*x3^5*x4*x5^3*z^6 - 16*x3^7*x4*x5^3*z^6 + 105*x3^4*x4^2*x5^3*z^6 - 150*x3^6*x4^2*x5^3*z^6 + 150*x3^3*x4^3*x5^3*z^6 - 480*x3^5*x4^3*x5^3*z^6 + 104*x3^7*x4^3*x5^3*z^6 + 105*x3^2*x4^4*x5^3*z^6 - 698*x3^4*x4^4*x5^3*z^6 + 462*x3^6*x4^4*x5^3*z^6 + 35*x3*x4^5*x5^3*z^6 - 480*x3^3*x4^5*x5^3*z^6 + 706*x3^5*x4^5*x5^3*z^6 - 72*x3^7*x4^5*x5^3*z^6 + 5*x4^6*x5^3*z^6 - 150*x3^2*x4^6*x5^3*z^6 + 462*x3^4*x4^6*x5^3*z^6 - 130*x3^6*x4^6*x5^3*z^6 - 16*x3*x4^7*x5^3*z^6 + 104*x3^3*x4^7*x5^3*z^6 - 72*x3^5*x4^7*x5^3*z^6 + 2*x3^7*x4^7*x5^3*z^6 + 10*x3^5*x5^4*z^6 - 6*x3^7*x5^4*z^6 + 50*x3^4*x4*x5^4*z^6 - 82*x3^6*x4*x5^4*z^6 + 105*x3^3*x4^2*x5^4*z^6 - 358*x3^5*x4^2*x5^4*z^6 + 82*x3^7*x4^2*x5^4*z^6 + 105*x3^2*x4^3*x5^4*z^6 - 698*x3^4*x4^3*x5^4*z^6 + 462*x3^6*x4^3*x5^4*z^6 + 50*x3*x4^4*x5^4*z^6 - 698*x3^3*x4^4*x5^4*z^6 + 942*x3^5*x4^4*x5^4*z^6 - 90*x3^7*x4^4*x5^4*z^6 + 10*x4^5*x5^4*z^6 - 358*x3^2*x4^5*x5^4*z^6 + 942*x3^4*x4^5*x5^4*z^6 - 230*x3^6*x4^5*x5^4*z^6 - 82*x3*x4^6*x5^4*z^6 + 462*x3^3*x4^6*x5^4*z^6 - 230*x3^5*x4^6*x5^4*z^6 + 5*x3^7*x4^6*x5^4*z^6 - 6*x4^7*x5^4*z^6 + 82*x3^2*x4^7*x5^4*z^6 - 90*x3^4*x4^7*x5^4*z^6 + 5*x3^6*x4^7*x5^4*z^6 + 10*x3^4*x5^5*z^6 - 18*x3^6*x5^5*z^6 + 35*x3^3*x4*x5^5*z^6 - 132*x3^5*x4*x5^5*z^6 + 38*x3^7*x4*x5^5*z^6 + 51*x3^2*x4^2*x5^5*z^6 - 358*x3^4*x4^2*x5^5*z^6 + 274*x3^6*x4^2*x5^5*z^6 + 35*x3*x4^3*x5^5*z^6 - 480*x3^3*x4^3*x5^5*z^6 + 706*x3^5*x4^3*x5^5*z^6 - 72*x3^7*x4^3*x5^5*z^6 + 10*x4^4*x5^5*z^6 - 358*x3^2*x4^4*x5^5*z^6 + 942*x3^4*x4^4*x5^5*z^6 - 230*x3^6*x4^4*x5^5*z^6 - 132*x3*x4^5*x5^5*z^6 + 706*x3^3*x4^5*x5^5*z^6 - 324*x3^5*x4^5*x5^5*z^6 + 7*x3^7*x4^5*x5^5*z^6 - 18*x4^6*x5^5*z^6 + 274*x3^2*x4^6*x5^5*z^6 - 230*x3^4*x4^6*x5^5*z^6 + 11*x3^6*x4^6*x5^5*z^6 + 38*x3*x4^7*x5^5*z^6 - 72*x3^3*x4^7*x5^5*z^6 + 7*x3^5*x4^7*x5^5*z^6 + 5*x3^3*x5^6*z^6 - 18*x3^5*x5^6*z^6 + 8*x3^7*x5^6*z^6 + 11*x3^2*x4*x5^6*z^6 - 82*x3^4*x4*x5^6*z^6 + 84*x3^6*x4*x5^6*z^6 + 11*x3*x4^2*x5^6*z^6 - 150*x3^3*x4^2*x5^6*z^6 + 274*x3^5*x4^2*x5^6*z^6 - 34*x3^7*x4^2*x5^6*z^6 + 5*x4^3*x5^6*z^6 - 150*x3^2*x4^3*x5^6*z^6 + 462*x3^4*x4^3*x5^6*z^6 - 130*x3^6*x4^3*x5^6*z^6 - 82*x3*x4^4*x5^6*z^6 + 462*x3^3*x4^4*x5^6*z^6 - 230*x3^5*x4^4*x5^6*z^6 + 5*x3^7*x4^4*x5^6*z^6 - 18*x4^5*x5^6*z^6 + 274*x3^2*x4^5*x5^6*z^6 - 230*x3^4*x4^5*x5^6*z^6 + 11*x3^6*x4^5*x5^6*z^6 + 84*x3*x4^6*x5^6*z^6 - 130*x3^3*x4^6*x5^6*z^6 + 11*x3^5*x4^6*x5^6*z^6 + 8*x4^7*x5^6*z^6 - 34*x3^2*x4^7*x5^6*z^6 + 5*x3^4*x4^7*x5^6*z^6 + x3^2*x5^7*z^6 - 6*x3^4*x5^7*z^6 + 8*x3^6*x5^7*z^6 + x3*x4*x5^7*z^6 - 16*x3^3*x4*x5^7*z^6 + 38*x3^5*x4*x5^7*z^6 - 8*x3^7*x4*x5^7*z^6 + x4^2*x5^7*z^6 - 22*x3^2*x4^2*x5^7*z^6 + 82*x3^4*x4^2*x5^7*z^6 - 34*x3^6*x4^2*x5^7*z^6 - 16*x3*x4^3*x5^7*z^6 + 104*x3^3*x4^3*x5^7*z^6 - 72*x3^5*x4^3*x5^7*z^6 + 2*x3^7*x4^3*x5^7*z^6 - 6*x4^4*x5^7*z^6 + 82*x3^2*x4^4*x5^7*z^6 - 90*x3^4*x4^4*x5^7*z^6 + 5*x3^6*x4^4*x5^7*z^6 + 38*x3*x4^5*x5^7*z^6 - 72*x3^3*x4^5*x5^7*z^6 + 7*x3^5*x4^5*x5^7*z^6 + 8*x4^6*x5^7*z^6 - 34*x3^2*x4^6*x5^7*z^6 + 5*x3^4*x4^6*x5^7*z^6 - 8*x3*x4^7*x5^7*z^6 + 2*x3^3*x4^7*x5^7*z^6, {0, 0, 0, 2}}, {-x3^2 - 2*x3*x4 - x4^2 - 2*x3*x5 - 2*x4*x5 - x5^2 + 2*x3^3*z + 6*x3^2*x4*z + 6*x3*x4^2*z - 2*x3^3*x4^2*z + 2*x4^3*z - 2*x3^2*x4^3*z + 6*x3^2*x5*z + 12*x3*x4*x5*z + 4*x3^3*x4*x5*z + 6*x4^2*x5*z + 6*x3^2*x4^2*x5*z + 4*x3*x4^3*x5*z + 6*x3*x5^2*z - 2*x3^3*x5^2*z + 6*x4*x5^2*z + 6*x3^2*x4*x5^2*z + 6*x3*x4^2*x5^2*z - 2*x4^3*x5^2*z + 2*x5^3*z - 2*x3^2*x5^3*z + 4*x3*x4*x5^3*z - 2*x4^2*x5^3*z + 2*x3^4*z^2 + 8*x3^3*x4*z^2 + 12*x3^2*x4^2*z^2 + 18*x3^4*x4^2*z^2 + 8*x3*x4^3*z^2 + 36*x3^3*x4^3*z^2 + 2*x4^4*z^2 + 18*x3^2*x4^4*z^2 - 2*x3^4*x4^4*z^2 + 8*x3^3*x5*z^2 + 24*x3^2*x4*x5*z^2 + 22*x3^4*x4*x5*z^2 + 24*x3*x4^2*x5*z^2 + 102*x3^3*x4^2*x5*z^2 + 8*x4^3*x5*z^2 + 102*x3^2*x4^3*x5*z^2 + 10*x3^4*x4^3*x5*z^2 + 22*x3*x4^4*x5*z^2 + 10*x3^3*x4^4*x5*z^2 + 12*x3^2*x5^2*z^2 + 18*x3^4*x5^2*z^2 + 24*x3*x4*x5^2*z^2 + 102*x3^3*x4*x5^2*z^2 + 12*x4^2*x5^2*z^2 + 186*x3^2*x4^2*x5^2*z^2 + 2*x3^4*x4^2*x5^2*z^2 + 102*x3*x4^3*x5^2*z^2 + 22*x3^3*x4^3*x5^2*z^2 + 18*x4^4*x5^2*z^2 + 2*x3^2*x4^4*x5^2*z^2 + 8*x3*x5^3*z^2 + 36*x3^3*x5^3*z^2 + 8*x4*x5^3*z^2 + 102*x3^2*x4*x5^3*z^2 + 10*x3^4*x4*x5^3*z^2 + 102*x3*x4^2*x5^3*z^2 + 22*x3^3*x4^2*x5^3*z^2 + 36*x4^3*x5^3*z^2 + 22*x3^2*x4^3*x5^3*z^2 + 10*x3*x4^4*x5^3*z^2 + 2*x5^4*z^2 + 18*x3^2*x5^4*z^2 - 2*x3^4*x5^4*z^2 + 22*x3*x4*x5^4*z^2 + 10*x3^3*x4*x5^4*z^2 + 18*x4^2*x5^4*z^2 + 2*x3^2*x4^2*x5^4*z^2 + 10*x3*x4^3*x5^4*z^2 - 2*x4^4*x5^4*z^2 - 6*x3^5*z^3 - 30*x3^4*x4*z^3 - 60*x3^3*x4^2*z^3 + 14*x3^5*x4^2*z^3 - 60*x3^2*x4^3*z^3 + 42*x3^4*x4^3*z^3 - 30*x3*x4^4*z^3 + 42*x3^3*x4^4*z^3 + 36*x3^5*x4^4*z^3 - 6*x4^5*z^3 + 14*x3^2*x4^5*z^3 + 36*x3^4*x4^5*z^3 - 30*x3^4*x5*z^3 - 120*x3^3*x4*x5*z^3 + 24*x3^5*x4*x5*z^3 - 180*x3^2*x4^2*x5*z^3 + 138*x3^4*x4^2*x5*z^3 - 120*x3*x4^3*x5*z^3 + 228*x3^3*x4^3*x5*z^3 + 76*x3^5*x4^3*x5*z^3 - 30*x4^4*x5*z^3 + 138*x3^2*x4^4*x5*z^3 + 188*x3^4*x4^4*x5*z^3 + 24*x3*x4^5*x5*z^3 + 76*x3^3*x4^5*x5*z^3 + 12*x3^5*x4^5*x5*z^3 - 60*x3^3*x5^2*z^3 + 14*x3^5*x5^2*z^3 - 180*x3^2*x4*x5^2*z^3 + 138*x3^4*x4*x5^2*z^3 - 180*x3*x4^2*x5^2*z^3 + 386*x3^3*x4^2*x5^2*z^3 + 110*x3^5*x4^2*x5^2*z^3 - 60*x4^3*x5^2*z^3 + 386*x3^2*x4^3*x5^2*z^3 + 338*x3^4*x4^3*x5^2*z^3 + 138*x3*x4^4*x5^2*z^3 + 338*x3^3*x4^4*x5^2*z^3 + 6*x3^5*x4^4*x5^2*z^3 + 14*x4^5*x5^2*z^3 + 110*x3^2*x4^5*x5^2*z^3 + 6*x3^4*x4^5*x5^2*z^3 - 60*x3^2*x5^3*z^3 + 42*x3^4*x5^3*z^3 - 120*x3*x4*x5^3*z^3 + 228*x3^3*x4*x5^3*z^3 + 76*x3^5*x4*x5^3*z^3 - 60*x4^2*x5^3*z^3 + 386*x3^2*x4^2*x5^3*z^3 + 338*x3^4*x4^2*x5^3*z^3 + 228*x3*x4^3*x5^3*z^3 + 456*x3^3*x4^3*x5^3*z^3 + 16*x3^5*x4^3*x5^3*z^3 + 42*x4^4*x5^3*z^3 + 338*x3^2*x4^4*x5^3*z^3 - 10*x3^4*x4^4*x5^3*z^3 + 76*x3*x4^5*x5^3*z^3 + 16*x3^3*x4^5*x5^3*z^3 - 30*x3*x5^4*z^3 + 42*x3^3*x5^4*z^3 + 36*x3^5*x5^4*z^3 - 30*x4*x5^4*z^3 + 138*x3^2*x4*x5^4*z^3 + 188*x3^4*x4*x5^4*z^3 + 138*x3*x4^2*x5^4*z^3 + 338*x3^3*x4^2*x5^4*z^3 + 6*x3^5*x4^2*x5^4*z^3 + 42*x4^3*x5^4*z^3 + 338*x3^2*x4^3*x5^4*z^3 - 10*x3^4*x4^3*x5^4*z^3 + 188*x3*x4^4*x5^4*z^3 - 10*x3^3*x4^4*x5^4*z^3 + 36*x4^5*x5^4*z^3 + 6*x3^2*x4^5*x5^4*z^3 - 6*x5^5*z^3 + 14*x3^2*x5^5*z^3 + 36*x3^4*x5^5*z^3 + 24*x3*x4*x5^5*z^3 + 76*x3^3*x4*x5^5*z^3 + 12*x3^5*x4*x5^5*z^3 + 14*x4^2*x5^5*z^3 + 110*x3^2*x4^2*x5^5*z^3 + 6*x3^4*x4^2*x5^5*z^3 + 76*x3*x4^3*x5^5*z^3 + 16*x3^3*x4^3*x5^5*z^3 + 36*x4^4*x5^5*z^3 + 6*x3^2*x4^4*x5^5*z^3 + 12*x3*x4^5*x5^5*z^3 + 3*x3^6*z^4 + 18*x3^5*x4*z^4 + 45*x3^4*x4^2*z^4 - 26*x3^6*x4^2*z^4 + 60*x3^3*x4^3*z^4 - 104*x3^5*x4^3*z^4 + 45*x3^2*x4^4*z^4 - 156*x3^4*x4^4*z^4 + 38*x3^6*x4^4*z^4 + 18*x3*x4^5*z^4 - 104*x3^3*x4^5*z^4 + 76*x3^5*x4^5*z^4 + 3*x4^6*z^4 - 26*x3^2*x4^6*z^4 + 38*x3^4*x4^6*z^4 + 24*x3^6*x4^6*z^4 + 18*x3^5*x5*z^4 + 90*x3^4*x4*x5*z^4 - 38*x3^6*x4*x5*z^4 + 180*x3^3*x4^2*x5*z^4 - 294*x3^5*x4^2*x5*z^4 + 180*x3^2*x4^3*x5*z^4 - 692*x3^4*x4^3*x5*z^4 + 130*x3^6*x4^3*x5*z^4 + 90*x3*x4^4*x5*z^4 - 692*x3^3*x4^4*x5*z^4 + 466*x3^5*x4^4*x5*z^4 + 18*x4^5*x5*z^4 - 294*x3^2*x4^5*x5*z^4 + 466*x3^4*x4^5*x5*z^4 + 52*x3^6*x4^5*x5*z^4 - 38*x3*x4^6*x5*z^4 + 130*x3^3*x4^6*x5*z^4 + 52*x3^5*x4^6*x5*z^4 + 45*x3^4*x5^2*z^4 - 26*x3^6*x5^2*z^4 + 180*x3^3*x4*x5^2*z^4 - 294*x3^5*x4*x5^2*z^4 + 270*x3^2*x4^2*x5^2*z^4 - 1098*x3^4*x4^2*x5^2*z^4 + 186*x3^6*x4^2*x5^2*z^4 + 180*x3*x4^3*x5^2*z^4 - 1660*x3^3*x4^3*x5^2*z^4 + 982*x3^5*x4^3*x5^2*z^4 + 45*x4^4*x5^2*z^4 - 1098*x3^2*x4^4*x5^2*z^4 + 1630*x3^4*x4^4*x5^2*z^4 + 74*x3^6*x4^4*x5^2*z^4 - 294*x3*x4^5*x5^2*z^4 + 982*x3^3*x4^5*x5^2*z^4 + 56*x3^5*x4^5*x5^2*z^4 - 26*x4^6*x5^2*z^4 + 186*x3^2*x4^6*x5^2*z^4 + 74*x3^4*x4^6*x5^2*z^4 - 18*x3^6*x4^6*x5^2*z^4 + 60*x3^3*x5^3*z^4 - 104*x3^5*x5^3*z^4 + 180*x3^2*x4*x5^3*z^4 - 692*x3^4*x4*x5^3*z^4 + 130*x3^6*x4*x5^3*z^4 + 180*x3*x4^2*x5^3*z^4 - 1660*x3^3*x4^2*x5^3*z^4 + 982*x3^5*x4^2*x5^3*z^4 + 60*x4^3*x5^3*z^4 - 1660*x3^2*x4^3*x5^3*z^4 + 2382*x3^4*x4^3*x5^3*z^4 + 66*x3^6*x4^3*x5^3*z^4 - 692*x3*x4^4*x5^3*z^4 + 2382*x3^3*x4^4*x5^3*z^4 - 6*x3^5*x4^4*x5^3*z^4 - 104*x4^5*x5^3*z^4 + 982*x3^2*x4^5*x5^3*z^4 - 6*x3^4*x4^5*x5^3*z^4 - 34*x3^6*x4^5*x5^3*z^4 + 130*x3*x4^6*x5^3*z^4 + 66*x3^3*x4^6*x5^3*z^4 - 34*x3^5*x4^6*x5^3*z^4 + 45*x3^2*x5^4*z^4 - 156*x3^4*x5^4*z^4 + 38*x3^6*x5^4*z^4 + 90*x3*x4*x5^4*z^4 - 692*x3^3*x4*x5^4*z^4 + 466*x3^5*x4*x5^4*z^4 + 45*x4^2*x5^4*z^4 - 1098*x3^2*x4^2*x5^4*z^4 + 1630*x3^4*x4^2*x5^4*z^4 + 74*x3^6*x4^2*x5^4*z^4 - 692*x3*x4^3*x5^4*z^4 + 2382*x3^3*x4^3*x5^4*z^4 - 6*x3^5*x4^3*x5^4*z^4 - 156*x4^4*x5^4*z^4 + 1630*x3^2*x4^4*x5^4*z^4 - 78*x3^4*x4^4*x5^4*z^4 - 49*x3^6*x4^4*x5^4*z^4 + 466*x3*x4^5*x5^4*z^4 - 6*x3^3*x4^5*x5^4*z^4 - 60*x3^5*x4^5*x5^4*z^4 + 38*x4^6*x5^4*z^4 + 74*x3^2*x4^6*x5^4*z^4 - 49*x3^4*x4^6*x5^4*z^4 + 18*x3*x5^5*z^4 - 104*x3^3*x5^5*z^4 + 76*x3^5*x5^5*z^4 + 18*x4*x5^5*z^4 - 294*x3^2*x4*x5^5*z^4 + 466*x3^4*x4*x5^5*z^4 + 52*x3^6*x4*x5^5*z^4 - 294*x3*x4^2*x5^5*z^4 + 982*x3^3*x4^2*x5^5*z^4 + 56*x3^5*x4^2*x5^5*z^4 - 104*x4^3*x5^5*z^4 + 982*x3^2*x4^3*x5^5*z^4 - 6*x3^4*x4^3*x5^5*z^4 - 34*x3^6*x4^3*x5^5*z^4 + 466*x3*x4^4*x5^5*z^4 - 6*x3^3*x4^4*x5^5*z^4 - 60*x3^5*x4^4*x5^5*z^4 + 76*x4^5*x5^5*z^4 + 56*x3^2*x4^5*x5^5*z^4 - 60*x3^4*x4^5*x5^5*z^4 + 52*x3*x4^6*x5^5*z^4 - 34*x3^3*x4^6*x5^5*z^4 + 3*x5^6*z^4 - 26*x3^2*x5^6*z^4 + 38*x3^4*x5^6*z^4 + 24*x3^6*x5^6*z^4 - 38*x3*x4*x5^6*z^4 + 130*x3^3*x4*x5^6*z^4 + 52*x3^5*x4*x5^6*z^4 - 26*x4^2*x5^6*z^4 + 186*x3^2*x4^2*x5^6*z^4 + 74*x3^4*x4^2*x5^6*z^4 - 18*x3^6*x4^2*x5^6*z^4 + 130*x3*x4^3*x5^6*z^4 + 66*x3^3*x4^3*x5^6*z^4 - 34*x3^5*x4^3*x5^6*z^4 + 38*x4^4*x5^6*z^4 + 74*x3^2*x4^4*x5^6*z^4 - 49*x3^4*x4^4*x5^6*z^4 + 52*x3*x4^5*x5^6*z^4 - 34*x3^3*x4^5*x5^6*z^4 + 24*x4^6*x5^6*z^4 - 18*x3^2*x4^6*x5^6*z^4 + 4*x3^7*x4^2*z^5 + 20*x3^6*x4^3*z^5 + 40*x3^5*x4^4*z^5 - 24*x3^7*x4^4*z^5 + 40*x3^4*x4^5*z^5 - 72*x3^6*x4^5*z^5 + 20*x3^3*x4^6*z^5 - 72*x3^5*x4^6*z^5 + 32*x3^7*x4^6*z^5 + 4*x3^2*x4^7*z^5 - 24*x3^4*x4^7*z^5 + 32*x3^6*x4^7*z^5 + 4*x3^7*x4*x5*z^5 + 44*x3^6*x4^2*x5*z^5 + 140*x3^5*x4^3*x5*z^5 - 64*x3^7*x4^3*x5*z^5 + 200*x3^4*x4^4*x5*z^5 - 328*x3^6*x4^4*x5*z^5 + 140*x3^3*x4^5*x5*z^5 - 528*x3^5*x4^5*x5*z^5 + 152*x3^7*x4^5*x5*z^5 + 44*x3^2*x4^6*x5*z^5 - 328*x3^4*x4^6*x5*z^5 + 336*x3^6*x4^6*x5*z^5 + 4*x3*x4^7*x5*z^5 - 64*x3^3*x4^7*x5*z^5 + 152*x3^5*x4^7*x5*z^5 - 32*x3^7*x4^7*x5*z^5 + 4*x3^7*x5^2*z^5 + 44*x3^6*x4*x5^2*z^5 + 204*x3^5*x4^2*x5^2*z^5 - 88*x3^7*x4^2*x5^2*z^5 + 420*x3^4*x4^3*x5^2*z^5 - 600*x3^6*x4^3*x5^2*z^5 + 420*x3^3*x4^4*x5^2*z^5 - 1432*x3^5*x4^4*x5^2*z^5 + 328*x3^7*x4^4*x5^2*z^5 + 204*x3^2*x4^5*x5^2*z^5 - 1432*x3^4*x4^5*x5^2*z^5 + 1096*x3^6*x4^5*x5^2*z^5 + 44*x3*x4^6*x5^2*z^5 - 600*x3^3*x4^6*x5^2*z^5 + 1096*x3^5*x4^6*x5^2*z^5 - 136*x3^7*x4^6*x5^2*z^5 + 4*x4^7*x5^2*z^5 - 88*x3^2*x4^7*x5^2*z^5 + 328*x3^4*x4^7*x5^2*z^5 - 136*x3^6*x4^7*x5^2*z^5 + 20*x3^6*x5^3*z^5 + 140*x3^5*x4*x5^3*z^5 - 64*x3^7*x4*x5^3*z^5 + 420*x3^4*x4^2*x5^3*z^5 - 600*x3^6*x4^2*x5^3*z^5 + 600*x3^3*x4^3*x5^3*z^5 - 1920*x3^5*x4^3*x5^3*z^5 + 416*x3^7*x4^3*x5^3*z^5 + 420*x3^2*x4^4*x5^3*z^5 - 2792*x3^4*x4^4*x5^3*z^5 + 1848*x3^6*x4^4*x5^3*z^5 + 140*x3*x4^5*x5^3*z^5 - 1920*x3^3*x4^5*x5^3*z^5 + 2824*x3^5*x4^5*x5^3*z^5 - 288*x3^7*x4^5*x5^3*z^5 + 20*x4^6*x5^3*z^5 - 600*x3^2*x4^6*x5^3*z^5 + 1848*x3^4*x4^6*x5^3*z^5 - 520*x3^6*x4^6*x5^3*z^5 - 64*x3*x4^7*x5^3*z^5 + 416*x3^3*x4^7*x5^3*z^5 - 288*x3^5*x4^7*x5^3*z^5 + 8*x3^7*x4^7*x5^3*z^5 + 40*x3^5*x5^4*z^5 - 24*x3^7*x5^4*z^5 + 200*x3^4*x4*x5^4*z^5 - 328*x3^6*x4*x5^4*z^5 + 420*x3^3*x4^2*x5^4*z^5 - 1432*x3^5*x4^2*x5^4*z^5 + 328*x3^7*x4^2*x5^4*z^5 + 420*x3^2*x4^3*x5^4*z^5 - 2792*x3^4*x4^3*x5^4*z^5 + 1848*x3^6*x4^3*x5^4*z^5 + 200*x3*x4^4*x5^4*z^5 - 2792*x3^3*x4^4*x5^4*z^5 + 3768*x3^5*x4^4*x5^4*z^5 - 360*x3^7*x4^4*x5^4*z^5 + 40*x4^5*x5^4*z^5 - 1432*x3^2*x4^5*x5^4*z^5 + 3768*x3^4*x4^5*x5^4*z^5 - 920*x3^6*x4^5*x5^4*z^5 - 328*x3*x4^6*x5^4*z^5 + 1848*x3^3*x4^6*x5^4*z^5 - 920*x3^5*x4^6*x5^4*z^5 + 20*x3^7*x4^6*x5^4*z^5 - 24*x4^7*x5^4*z^5 + 328*x3^2*x4^7*x5^4*z^5 - 360*x3^4*x4^7*x5^4*z^5 + 20*x3^6*x4^7*x5^4*z^5 + 40*x3^4*x5^5*z^5 - 72*x3^6*x5^5*z^5 + 140*x3^3*x4*x5^5*z^5 - 528*x3^5*x4*x5^5*z^5 + 152*x3^7*x4*x5^5*z^5 + 204*x3^2*x4^2*x5^5*z^5 - 1432*x3^4*x4^2*x5^5*z^5 + 1096*x3^6*x4^2*x5^5*z^5 + 140*x3*x4^3*x5^5*z^5 - 1920*x3^3*x4^3*x5^5*z^5 + 2824*x3^5*x4^3*x5^5*z^5 - 288*x3^7*x4^3*x5^5*z^5 + 40*x4^4*x5^5*z^5 - 1432*x3^2*x4^4*x5^5*z^5 + 3768*x3^4*x4^4*x5^5*z^5 - 920*x3^6*x4^4*x5^5*z^5 - 528*x3*x4^5*x5^5*z^5 + 2824*x3^3*x4^5*x5^5*z^5 - 1296*x3^5*x4^5*x5^5*z^5 + 28*x3^7*x4^5*x5^5*z^5 - 72*x4^6*x5^5*z^5 + 1096*x3^2*x4^6*x5^5*z^5 - 920*x3^4*x4^6*x5^5*z^5 + 44*x3^6*x4^6*x5^5*z^5 + 152*x3*x4^7*x5^5*z^5 - 288*x3^3*x4^7*x5^5*z^5 + 28*x3^5*x4^7*x5^5*z^5 + 20*x3^3*x5^6*z^5 - 72*x3^5*x5^6*z^5 + 32*x3^7*x5^6*z^5 + 44*x3^2*x4*x5^6*z^5 - 328*x3^4*x4*x5^6*z^5 + 336*x3^6*x4*x5^6*z^5 + 44*x3*x4^2*x5^6*z^5 - 600*x3^3*x4^2*x5^6*z^5 + 1096*x3^5*x4^2*x5^6*z^5 - 136*x3^7*x4^2*x5^6*z^5 + 20*x4^3*x5^6*z^5 - 600*x3^2*x4^3*x5^6*z^5 + 1848*x3^4*x4^3*x5^6*z^5 - 520*x3^6*x4^3*x5^6*z^5 - 328*x3*x4^4*x5^6*z^5 + 1848*x3^3*x4^4*x5^6*z^5 - 920*x3^5*x4^4*x5^6*z^5 + 20*x3^7*x4^4*x5^6*z^5 - 72*x4^5*x5^6*z^5 + 1096*x3^2*x4^5*x5^6*z^5 - 920*x3^4*x4^5*x5^6*z^5 + 44*x3^6*x4^5*x5^6*z^5 + 336*x3*x4^6*x5^6*z^5 - 520*x3^3*x4^6*x5^6*z^5 + 44*x3^5*x4^6*x5^6*z^5 + 32*x4^7*x5^6*z^5 - 136*x3^2*x4^7*x5^6*z^5 + 20*x3^4*x4^7*x5^6*z^5 + 4*x3^2*x5^7*z^5 - 24*x3^4*x5^7*z^5 + 32*x3^6*x5^7*z^5 + 4*x3*x4*x5^7*z^5 - 64*x3^3*x4*x5^7*z^5 + 152*x3^5*x4*x5^7*z^5 - 32*x3^7*x4*x5^7*z^5 + 4*x4^2*x5^7*z^5 - 88*x3^2*x4^2*x5^7*z^5 + 328*x3^4*x4^2*x5^7*z^5 - 136*x3^6*x4^2*x5^7*z^5 - 64*x3*x4^3*x5^7*z^5 + 416*x3^3*x4^3*x5^7*z^5 - 288*x3^5*x4^3*x5^7*z^5 + 8*x3^7*x4^3*x5^7*z^5 - 24*x4^4*x5^7*z^5 + 328*x3^2*x4^4*x5^7*z^5 - 360*x3^4*x4^4*x5^7*z^5 + 20*x3^6*x4^4*x5^7*z^5 + 152*x3*x4^5*x5^7*z^5 - 288*x3^3*x4^5*x5^7*z^5 + 28*x3^5*x4^5*x5^7*z^5 + 32*x4^6*x5^7*z^5 - 136*x3^2*x4^6*x5^7*z^5 + 20*x3^4*x4^6*x5^7*z^5 - 32*x3*x4^7*x5^7*z^5 + 8*x3^3*x4^7*x5^7*z^5, {0, 0, 0, 1}}, {x3^3*x4*x5 + 2*x3^2*x4^2*x5 + x3*x4^3*x5 + 2*x3^2*x4*x5^2 + 2*x3*x4^2*x5^2 + x3*x4*x5^3 + x3^4*z + 4*x3^3*x4*z + 6*x3^2*x4^2*z + 4*x3^4*x4^2*z + 4*x3*x4^3*z + 8*x3^3*x4^3*z + x4^4*z + 4*x3^2*x4^4*z + 4*x3^3*x5*z + 12*x3^2*x4*x5*z + 6*x3^4*x4*x5*z + 12*x3*x4^2*x5*z + 26*x3^3*x4^2*x5*z + 4*x4^3*x5*z + 26*x3^2*x4^3*x5*z + 2*x3^4*x4^3*x5*z + 6*x3*x4^4*x5*z + 2*x3^3*x4^4*x5*z + 6*x3^2*x5^2*z + 4*x3^4*x5^2*z + 12*x3*x4*x5^2*z + 26*x3^3*x4*x5^2*z + 6*x4^2*x5^2*z + 48*x3^2*x4^2*x5^2*z - x3^4*x4^2*x5^2*z + 26*x3*x4^3*x5^2*z + 4*x4^4*x5^2*z - x3^2*x4^4*x5^2*z + 4*x3*x5^3*z + 8*x3^3*x5^3*z + 4*x4*x5^3*z + 26*x3^2*x4*x5^3*z + 2*x3^4*x4*x5^3*z + 26*x3*x4^2*x5^3*z + 8*x4^3*x5^3*z + 2*x3*x4^4*x5^3*z + x5^4*z + 4*x3^2*x5^4*z + 6*x3*x4*x5^4*z + 2*x3^3*x4*x5^4*z + 4*x4^2*x5^4*z - x3^2*x4^2*x5^4*z + 2*x3*x4^3*x5^4*z - 2*x3^5*z^2 - 10*x3^4*x4*z^2 - 20*x3^3*x4^2*z^2 + 8*x3^5*x4^2*z^2 - 20*x3^2*x4^3*z^2 + 24*x3^4*x4^3*z^2 - 10*x3*x4^4*z^2 + 24*x3^3*x4^4*z^2 + 10*x3^5*x4^4*z^2 - 2*x4^5*z^2 + 8*x3^2*x4^5*z^2 + 10*x3^4*x4^5*z^2 - 10*x3^4*x5*z^2 - 40*x3^3*x4*x5*z^2 + 13*x3^5*x4*x5*z^2 - 60*x3^2*x4^2*x5*z^2 + 76*x3^4*x4^2*x5*z^2 - 40*x3*x4^3*x5*z^2 + 126*x3^3*x4^3*x5*z^2 + 18*x3^5*x4^3*x5*z^2 - 10*x4^4*x5*z^2 + 76*x3^2*x4^4*x5*z^2 + 46*x3^4*x4^4*x5*z^2 + 13*x3*x4^5*x5*z^2 + 18*x3^3*x4^5*x5*z^2 + 2*x3^5*x4^5*x5*z^2 - 20*x3^3*x5^2*z^2 + 8*x3^5*x5^2*z^2 - 60*x3^2*x4*x5^2*z^2 + 76*x3^4*x4*x5^2*z^2 - 60*x3*x4^2*x5^2*z^2 + 212*x3^3*x4^2*x5^2*z^2 + 24*x3^5*x4^2*x5^2*z^2 - 20*x4^3*x5^2*z^2 + 212*x3^2*x4^3*x5^2*z^2 + 68*x3^4*x4^3*x5^2*z^2 + 76*x3*x4^4*x5^2*z^2 + 68*x3^3*x4^4*x5^2*z^2 - 2*x3^5*x4^4*x5^2*z^2 + 8*x4^5*x5^2*z^2 + 24*x3^2*x4^5*x5^2*z^2 - 2*x3^4*x4^5*x5^2*z^2 - 20*x3^2*x5^3*z^2 + 24*x3^4*x5^3*z^2 - 40*x3*x4*x5^3*z^2 + 126*x3^3*x4*x5^3*z^2 + 18*x3^5*x4*x5^3*z^2 - 20*x4^2*x5^3*z^2 + 212*x3^2*x4^2*x5^3*z^2 + 68*x3^4*x4^2*x5^3*z^2 + 126*x3*x4^3*x5^3*z^2 + 78*x3^3*x4^3*x5^3*z^2 + x3^5*x4^3*x5^3*z^2 + 24*x4^4*x5^3*z^2 + 68*x3^2*x4^4*x5^3*z^2 - 8*x3^4*x4^4*x5^3*z^2 + 18*x3*x4^5*x5^3*z^2 + x3^3*x4^5*x5^3*z^2 - 10*x3*x5^4*z^2 + 24*x3^3*x5^4*z^2 + 10*x3^5*x5^4*z^2 - 10*x4*x5^4*z^2 + 76*x3^2*x4*x5^4*z^2 + 46*x3^4*x4*x5^4*z^2 + 76*x3*x4^2*x5^4*z^2 + 68*x3^3*x4^2*x5^4*z^2 - 2*x3^5*x4^2*x5^4*z^2 + 24*x4^3*x5^4*z^2 + 68*x3^2*x4^3*x5^4*z^2 - 8*x3^4*x4^3*x5^4*z^2 + 46*x3*x4^4*x5^4*z^2 - 8*x3^3*x4^4*x5^4*z^2 + 10*x4^5*x5^4*z^2 - 2*x3^2*x4^5*x5^4*z^2 - 2*x5^5*z^2 + 8*x3^2*x5^5*z^2 + 10*x3^4*x5^5*z^2 + 13*x3*x4*x5^5*z^2 + 18*x3^3*x4*x5^5*z^2 + 2*x3^5*x4*x5^5*z^2 + 8*x4^2*x5^5*z^2 + 24*x3^2*x4^2*x5^5*z^2 - 2*x3^4*x4^2*x5^5*z^2 + 18*x3*x4^3*x5^5*z^2 + x3^3*x4^3*x5^5*z^2 + 10*x4^4*x5^5*z^2 - 2*x3^2*x4^4*x5^5*z^2 + 2*x3*x4^5*x5^5*z^2 + x3^6*z^3 + 6*x3^5*x4*z^3 + 15*x3^4*x4^2*z^3 - 10*x3^6*x4^2*z^3 + 20*x3^3*x4^3*z^3 - 40*x3^5*x4^3*z^3 + 15*x3^2*x4^4*z^3 - 60*x3^4*x4^4*z^3 + 18*x3^6*x4^4*z^3 + 6*x3*x4^5*z^3 - 40*x3^3*x4^5*z^3 + 36*x3^5*x4^5*z^3 + x4^6*z^3 - 10*x3^2*x4^6*z^3 + 18*x3^4*x4^6*z^3 + 8*x3^6*x4^6*z^3 + 6*x3^5*x5*z^3 + 30*x3^4*x4*x5*z^3 - 14*x3^6*x4*x5*z^3 + 60*x3^3*x4^2*x5*z^3 - 110*x3^5*x4^2*x5*z^3 + 60*x3^2*x4^3*x5*z^3 - 260*x3^4*x4^3*x5*z^3 + 58*x3^6*x4^3*x5*z^3 + 30*x3*x4^4*x5*z^3 - 260*x3^3*x4^4*x5*z^3 + 210*x3^5*x4^4*x5*z^3 + 6*x4^5*x5*z^3 - 110*x3^2*x4^5*x5*z^3 + 210*x3^4*x4^5*x5*z^3 + 12*x3^6*x4^5*x5*z^3 - 14*x3*x4^6*x5*z^3 + 58*x3^3*x4^6*x5*z^3 + 12*x3^5*x4^6*x5*z^3 + 15*x3^4*x5^2*z^3 - 10*x3^6*x5^2*z^3 + 60*x3^3*x4*x5^2*z^3 - 110*x3^5*x4*x5^2*z^3 + 90*x3^2*x4^2*x5^2*z^3 - 410*x3^4*x4^2*x5^2*z^3 + 82*x3^6*x4^2*x5^2*z^3 + 60*x3*x4^3*x5^2*z^3 - 620*x3^3*x4^3*x5^2*z^3 + 430*x3^5*x4^3*x5^2*z^3 + 15*x4^4*x5^2*z^3 - 410*x3^2*x4^4*x5^2*z^3 + 714*x3^4*x4^4*x5^2*z^3 + 10*x3^6*x4^4*x5^2*z^3 - 110*x3*x4^5*x5^2*z^3 + 430*x3^3*x4^5*x5^2*z^3 - 16*x3^5*x4^5*x5^2*z^3 - 10*x4^6*x5^2*z^3 + 82*x3^2*x4^6*x5^2*z^3 + 10*x3^4*x4^6*x5^2*z^3 - 6*x3^6*x4^6*x5^2*z^3 + 20*x3^3*x5^3*z^3 - 40*x3^5*x5^3*z^3 + 60*x3^2*x4*x5^3*z^3 - 260*x3^4*x4*x5^3*z^3 + 58*x3^6*x4*x5^3*z^3 + 60*x3*x4^2*x5^3*z^3 - 620*x3^3*x4^2*x5^3*z^3 + 430*x3^5*x4^2*x5^3*z^3 + 20*x4^3*x5^3*z^3 - 620*x3^2*x4^3*x5^3*z^3 + 1030*x3^4*x4^3*x5^3*z^3 + 2*x3^6*x4^3*x5^3*z^3 - 260*x3*x4^4*x5^3*z^3 + 1030*x3^3*x4^4*x5^3*z^3 - 70*x3^5*x4^4*x5^3*z^3 - 40*x4^5*x5^3*z^3 + 430*x3^2*x4^5*x5^3*z^3 - 70*x3^4*x4^5*x5^3*z^3 - 10*x3^6*x4^5*x5^3*z^3 + 58*x3*x4^6*x5^3*z^3 + 2*x3^3*x4^6*x5^3*z^3 - 10*x3^5*x4^6*x5^3*z^3 + 15*x3^2*x5^4*z^3 - 60*x3^4*x5^4*z^3 + 18*x3^6*x5^4*z^3 + 30*x3*x4*x5^4*z^3 - 260*x3^3*x4*x5^4*z^3 + 210*x3^5*x4*x5^4*z^3 + 15*x4^2*x5^4*z^3 - 410*x3^2*x4^2*x5^4*z^3 + 714*x3^4*x4^2*x5^4*z^3 + 10*x3^6*x4^2*x5^4*z^3 - 260*x3*x4^3*x5^4*z^3 + 1030*x3^3*x4^3*x5^4*z^3 - 70*x3^5*x4^3*x5^4*z^3 - 60*x4^4*x5^4*z^3 + 714*x3^2*x4^4*x5^4*z^3 - 126*x3^4*x4^4*x5^4*z^3 - 15*x3^6*x4^4*x5^4*z^3 + 210*x3*x4^5*x5^4*z^3 - 70*x3^3*x4^5*x5^4*z^3 - 16*x3^5*x4^5*x5^4*z^3 + 18*x4^6*x5^4*z^3 + 10*x3^2*x4^6*x5^4*z^3 - 15*x3^4*x4^6*x5^4*z^3 + 6*x3*x5^5*z^3 - 40*x3^3*x5^5*z^3 + 36*x3^5*x5^5*z^3 + 6*x4*x5^5*z^3 - 110*x3^2*x4*x5^5*z^3 + 210*x3^4*x4*x5^5*z^3 + 12*x3^6*x4*x5^5*z^3 - 110*x3*x4^2*x5^5*z^3 + 430*x3^3*x4^2*x5^5*z^3 - 16*x3^5*x4^2*x5^5*z^3 - 40*x4^3*x5^5*z^3 + 430*x3^2*x4^3*x5^5*z^3 - 70*x3^4*x4^3*x5^5*z^3 - 10*x3^6*x4^3*x5^5*z^3 + 210*x3*x4^4*x5^5*z^3 - 70*x3^3*x4^4*x5^5*z^3 - 16*x3^5*x4^4*x5^5*z^3 + 36*x4^5*x5^5*z^3 - 16*x3^2*x4^5*x5^5*z^3 - 16*x3^4*x4^5*x5^5*z^3 + 12*x3*x4^6*x5^5*z^3 - 10*x3^3*x4^6*x5^5*z^3 + x5^6*z^3 - 10*x3^2*x5^6*z^3 + 18*x3^4*x5^6*z^3 + 8*x3^6*x5^6*z^3 - 14*x3*x4*x5^6*z^3 + 58*x3^3*x4*x5^6*z^3 + 12*x3^5*x4*x5^6*z^3 - 10*x4^2*x5^6*z^3 + 82*x3^2*x4^2*x5^6*z^3 + 10*x3^4*x4^2*x5^6*z^3 - 6*x3^6*x4^2*x5^6*z^3 + 58*x3*x4^3*x5^6*z^3 + 2*x3^3*x4^3*x5^6*z^3 - 10*x3^5*x4^3*x5^6*z^3 + 18*x4^4*x5^6*z^3 + 10*x3^2*x4^4*x5^6*z^3 - 15*x3^4*x4^4*x5^6*z^3 + 12*x3*x4^5*x5^6*z^3 - 10*x3^3*x4^5*x5^6*z^3 + 8*x4^6*x5^6*z^3 - 6*x3^2*x4^6*x5^6*z^3 + 2*x3^7*x4^2*z^4 + 10*x3^6*x4^3*z^4 + 20*x3^5*x4^4*z^4 - 12*x3^7*x4^4*z^4 + 20*x3^4*x4^5*z^4 - 36*x3^6*x4^5*z^4 + 10*x3^3*x4^6*z^4 - 36*x3^5*x4^6*z^4 + 16*x3^7*x4^6*z^4 + 2*x3^2*x4^7*z^4 - 12*x3^4*x4^7*z^4 + 16*x3^6*x4^7*z^4 + 2*x3^7*x4*x5*z^4 + 22*x3^6*x4^2*x5*z^4 + 70*x3^5*x4^3*x5*z^4 - 32*x3^7*x4^3*x5*z^4 + 100*x3^4*x4^4*x5*z^4 - 164*x3^6*x4^4*x5*z^4 + 70*x3^3*x4^5*x5*z^4 - 264*x3^5*x4^5*x5*z^4 + 76*x3^7*x4^5*x5*z^4 + 22*x3^2*x4^6*x5*z^4 - 164*x3^4*x4^6*x5*z^4 + 168*x3^6*x4^6*x5*z^4 + 2*x3*x4^7*x5*z^4 - 32*x3^3*x4^7*x5*z^4 + 76*x3^5*x4^7*x5*z^4 - 16*x3^7*x4^7*x5*z^4 + 2*x3^7*x5^2*z^4 + 22*x3^6*x4*x5^2*z^4 + 102*x3^5*x4^2*x5^2*z^4 - 44*x3^7*x4^2*x5^2*z^4 + 210*x3^4*x4^3*x5^2*z^4 - 300*x3^6*x4^3*x5^2*z^4 + 210*x3^3*x4^4*x5^2*z^4 - 716*x3^5*x4^4*x5^2*z^4 + 164*x3^7*x4^4*x5^2*z^4 + 102*x3^2*x4^5*x5^2*z^4 - 716*x3^4*x4^5*x5^2*z^4 + 548*x3^6*x4^5*x5^2*z^4 + 22*x3*x4^6*x5^2*z^4 - 300*x3^3*x4^6*x5^2*z^4 + 548*x3^5*x4^6*x5^2*z^4 - 68*x3^7*x4^6*x5^2*z^4 + 2*x4^7*x5^2*z^4 - 44*x3^2*x4^7*x5^2*z^4 + 164*x3^4*x4^7*x5^2*z^4 - 68*x3^6*x4^7*x5^2*z^4 + 10*x3^6*x5^3*z^4 + 70*x3^5*x4*x5^3*z^4 - 32*x3^7*x4*x5^3*z^4 + 210*x3^4*x4^2*x5^3*z^4 - 300*x3^6*x4^2*x5^3*z^4 + 300*x3^3*x4^3*x5^3*z^4 - 960*x3^5*x4^3*x5^3*z^4 + 208*x3^7*x4^3*x5^3*z^4 + 210*x3^2*x4^4*x5^3*z^4 - 1396*x3^4*x4^4*x5^3*z^4 + 924*x3^6*x4^4*x5^3*z^4 + 70*x3*x4^5*x5^3*z^4 - 960*x3^3*x4^5*x5^3*z^4 + 1412*x3^5*x4^5*x5^3*z^4 - 144*x3^7*x4^5*x5^3*z^4 + 10*x4^6*x5^3*z^4 - 300*x3^2*x4^6*x5^3*z^4 + 924*x3^4*x4^6*x5^3*z^4 - 260*x3^6*x4^6*x5^3*z^4 - 32*x3*x4^7*x5^3*z^4 + 208*x3^3*x4^7*x5^3*z^4 - 144*x3^5*x4^7*x5^3*z^4 + 4*x3^7*x4^7*x5^3*z^4 + 20*x3^5*x5^4*z^4 - 12*x3^7*x5^4*z^4 + 100*x3^4*x4*x5^4*z^4 - 164*x3^6*x4*x5^4*z^4 + 210*x3^3*x4^2*x5^4*z^4 - 716*x3^5*x4^2*x5^4*z^4 + 164*x3^7*x4^2*x5^4*z^4 + 210*x3^2*x4^3*x5^4*z^4 - 1396*x3^4*x4^3*x5^4*z^4 + 924*x3^6*x4^3*x5^4*z^4 + 100*x3*x4^4*x5^4*z^4 - 1396*x3^3*x4^4*x5^4*z^4 + 1884*x3^5*x4^4*x5^4*z^4 - 180*x3^7*x4^4*x5^4*z^4 + 20*x4^5*x5^4*z^4 - 716*x3^2*x4^5*x5^4*z^4 + 1884*x3^4*x4^5*x5^4*z^4 - 460*x3^6*x4^5*x5^4*z^4 - 164*x3*x4^6*x5^4*z^4 + 924*x3^3*x4^6*x5^4*z^4 - 460*x3^5*x4^6*x5^4*z^4 + 10*x3^7*x4^6*x5^4*z^4 - 12*x4^7*x5^4*z^4 + 164*x3^2*x4^7*x5^4*z^4 - 180*x3^4*x4^7*x5^4*z^4 + 10*x3^6*x4^7*x5^4*z^4 + 20*x3^4*x5^5*z^4 - 36*x3^6*x5^5*z^4 + 70*x3^3*x4*x5^5*z^4 - 264*x3^5*x4*x5^5*z^4 + 76*x3^7*x4*x5^5*z^4 + 102*x3^2*x4^2*x5^5*z^4 - 716*x3^4*x4^2*x5^5*z^4 + 548*x3^6*x4^2*x5^5*z^4 + 70*x3*x4^3*x5^5*z^4 - 960*x3^3*x4^3*x5^5*z^4 + 1412*x3^5*x4^3*x5^5*z^4 - 144*x3^7*x4^3*x5^5*z^4 + 20*x4^4*x5^5*z^4 - 716*x3^2*x4^4*x5^5*z^4 + 1884*x3^4*x4^4*x5^5*z^4 - 460*x3^6*x4^4*x5^5*z^4 - 264*x3*x4^5*x5^5*z^4 + 1412*x3^3*x4^5*x5^5*z^4 - 648*x3^5*x4^5*x5^5*z^4 + 14*x3^7*x4^5*x5^5*z^4 - 36*x4^6*x5^5*z^4 + 548*x3^2*x4^6*x5^5*z^4 - 460*x3^4*x4^6*x5^5*z^4 + 22*x3^6*x4^6*x5^5*z^4 + 76*x3*x4^7*x5^5*z^4 - 144*x3^3*x4^7*x5^5*z^4 + 14*x3^5*x4^7*x5^5*z^4 + 10*x3^3*x5^6*z^4 - 36*x3^5*x5^6*z^4 + 16*x3^7*x5^6*z^4 + 22*x3^2*x4*x5^6*z^4 - 164*x3^4*x4*x5^6*z^4 + 168*x3^6*x4*x5^6*z^4 + 22*x3*x4^2*x5^6*z^4 - 300*x3^3*x4^2*x5^6*z^4 + 548*x3^5*x4^2*x5^6*z^4 - 68*x3^7*x4^2*x5^6*z^4 + 10*x4^3*x5^6*z^4 - 300*x3^2*x4^3*x5^6*z^4 + 924*x3^4*x4^3*x5^6*z^4 - 260*x3^6*x4^3*x5^6*z^4 - 164*x3*x4^4*x5^6*z^4 + 924*x3^3*x4^4*x5^6*z^4 - 460*x3^5*x4^4*x5^6*z^4 + 10*x3^7*x4^4*x5^6*z^4 - 36*x4^5*x5^6*z^4 + 548*x3^2*x4^5*x5^6*z^4 - 460*x3^4*x4^5*x5^6*z^4 + 22*x3^6*x4^5*x5^6*z^4 + 168*x3*x4^6*x5^6*z^4 - 260*x3^3*x4^6*x5^6*z^4 + 22*x3^5*x4^6*x5^6*z^4 + 16*x4^7*x5^6*z^4 - 68*x3^2*x4^7*x5^6*z^4 + 10*x3^4*x4^7*x5^6*z^4 + 2*x3^2*x5^7*z^4 - 12*x3^4*x5^7*z^4 + 16*x3^6*x5^7*z^4 + 2*x3*x4*x5^7*z^4 - 32*x3^3*x4*x5^7*z^4 + 76*x3^5*x4*x5^7*z^4 - 16*x3^7*x4*x5^7*z^4 + 2*x4^2*x5^7*z^4 - 44*x3^2*x4^2*x5^7*z^4 + 164*x3^4*x4^2*x5^7*z^4 - 68*x3^6*x4^2*x5^7*z^4 - 32*x3*x4^3*x5^7*z^4 + 208*x3^3*x4^3*x5^7*z^4 - 144*x3^5*x4^3*x5^7*z^4 + 4*x3^7*x4^3*x5^7*z^4 - 12*x4^4*x5^7*z^4 + 164*x3^2*x4^4*x5^7*z^4 - 180*x3^4*x4^4*x5^7*z^4 + 10*x3^6*x4^4*x5^7*z^4 + 76*x3*x4^5*x5^7*z^4 - 144*x3^3*x4^5*x5^7*z^4 + 14*x3^5*x4^5*x5^7*z^4 + 16*x4^6*x5^7*z^4 - 68*x3^2*x4^6*x5^7*z^4 + 10*x3^4*x4^6*x5^7*z^4 - 16*x3*x4^7*x5^7*z^4 + 4*x3^3*x4^7*x5^7*z^4, {0, 0, 0, 0}}}, OreAlgebraObject[{Der[x3], Der[x4], Der[x5], Der[z]}, Expand, #1 + #2 & , Expand[#1*#2] & , None], DegreeLexicographic]}, {OrePolynomial[{{(-1 + x5^2)*(-(x3^2*z) + x2^2*x3^2*z - x3*x4*z + x2^2*x3*x4*z - x4^2*z + x2^2*x4^2*z), {0, 0, 0, 0, 0}}}, OreAlgebraObject[{Der[x2], Der[x3], Der[x4], Der[x5], Der[z]}, Together, Together[#1 + #2] & , Together[#1*#2] & , None], DegreeLexicographic], OrePolynomial[{{(-1 + x4^2)*(-(x3^2*z) + x2^2*x3^2*z - x3*x5*z + x2^2*x3*x5*z - x5^2*z + x2^2*x5^2*z), {0, 0, 0, 0, 0}}}, OreAlgebraObject[{Der[x2], Der[x3], Der[x4], Der[x5], Der[z]}, Together, Together[#1 + #2] & , Together[#1*#2] & , None], DegreeLexicographic], OrePolynomial[{{(-1 + x3^2)*(-(x4^2*z) + x2^2*x4^2*z - x4*x5*z + x2^2*x4*x5*z - x5^2*z + x2^2*x5^2*z), {0, 0, 0, 0, 0}}}, OreAlgebraObject[{Der[x2], Der[x3], Der[x4], Der[x5], Der[z]}, Together, Together[#1 + #2] & , Together[#1*#2] & , None], DegreeLexicographic], OrePolynomial[{{(-(x3^3*x4) + x2^2*x3^3*x4 - 2*x3^2*x4^2 + 2*x2^2*x3^2*x4^2 - x3*x4^3 + x2^2*x3*x4^3 - x3^3*x5 + x2^2*x3^3*x5 - 5*x3^2*x4*x5 + 5*x2^2*x3^2*x4*x5 - 5*x3*x4^2*x5 + 5*x2^2*x3*x4^2*x5 - x4^3*x5 + x2^2*x4^3*x5 - 2*x3^2*x5^2 + 2*x2^2*x3^2*x5^2 - 5*x3*x4*x5^2 + 5*x2^2*x3*x4*x5^2 - 2*x4^2*x5^2 + 2*x2^2*x4^2*x5^2 - x3*x5^3 + x2^2*x3*x5^3 - x4*x5^3 + x2^2*x4*x5^3 - x2*x3^4*z + x2^3*x3^4*z - 4*x2*x3^3*x4*z + 4*x2^3*x3^3*x4*z - 2*x3^4*x4*z + 2*x2^2*x3^4*x4*z - 6*x2*x3^2*x4^2*z + 6*x2^3*x3^2*x4^2*z - 6*x3^3*x4^2*z + 6*x2^2*x3^3*x4^2*z + x2*x3^4*x4^2*z - x2^3*x3^4*x4^2*z - 4*x2*x3*x4^3*z + 4*x2^3*x3*x4^3*z - 6*x3^2*x4^3*z + 6*x2^2*x3^2*x4^3*z + 2*x2*x3^3*x4^3*z - 2*x2^3*x3^3*x4^3*z - 2*x3^4*x4^3*z + 2*x2^2*x3^4*x4^3*z - x2*x4^4*z + x2^3*x4^4*z - 2*x3*x4^4*z + 2*x2^2*x3*x4^4*z + x2*x3^2*x4^4*z - x2^3*x3^2*x4^4*z - 2*x3^3*x4^4*z + 2*x2^2*x3^3*x4^4*z - 4*x2*x3^3*x5*z + 4*x2^3*x3^3*x5*z - 2*x3^4*x5*z + 2*x2^2*x3^4*x5*z - 12*x2*x3^2*x4*x5*z + 12*x2^3*x3^2*x4*x5*z - 14*x3^3*x4*x5*z + 14*x2^2*x3^3*x4*x5*z + 2*x2*x3^4*x4*x5*z - 2*x2^3*x3^4*x4*x5*z - 12*x2*x3*x4^2*x5*z + 12*x2^3*x3*x4^2*x5*z - 24*x3^2*x4^2*x5*z + 24*x2^2*x3^2*x4^2*x5*z + 8*x2*x3^3*x4^2*x5*z - 8*x2^3*x3^3*x4^2*x5*z - 2*x3^4*x4^2*x5*z + 2*x2^2*x3^4*x4^2*x5*z - 4*x2*x4^3*x5*z + 4*x2^3*x4^3*x5*z - 14*x3*x4^3*x5*z + 14*x2^2*x3*x4^3*x5*z + 8*x2*x3^2*x4^3*x5*z - 8*x2^3*x3^2*x4^3*x5*z - 6*x3^3*x4^3*x5*z + 6*x2^2*x3^3*x4^3*x5*z - 2*x4^4*x5*z + 2*x2^2*x4^4*x5*z + 2*x2*x3*x4^4*x5*z - 2*x2^3*x3*x4^4*x5*z - 2*x3^2*x4^4*x5*z + 2*x2^2*x3^2*x4^4*x5*z - 6*x2*x3^2*x5^2*z + 6*x2^3*x3^2*x5^2*z - 6*x3^3*x5^2*z + 6*x2^2*x3^3*x5^2*z + x2*x3^4*x5^2*z - x2^3*x3^4*x5^2*z - 12*x2*x3*x4*x5^2*z + 12*x2^3*x3*x4*x5^2*z - 24*x3^2*x4*x5^2*z + 24*x2^2*x3^2*x4*x5^2*z + 8*x2*x3^3*x4*x5^2*z - 8*x2^3*x3^3*x4*x5^2*z - 2*x3^4*x4*x5^2*z + 2*x2^2*x3^4*x4*x5^2*z - 6*x2*x4^2*x5^2*z + 6*x2^3*x4^2*x5^2*z - 24*x3*x4^2*x5^2*z + 24*x2^2*x3*x4^2*x5^2*z + 15*x2*x3^2*x4^2*x5^2*z - 15*x2^3*x3^2*x4^2*x5^2*z - 4*x3^3*x4^2*x5^2*z + 4*x2^2*x3^3*x4^2*x5^2*z - 6*x4^3*x5^2*z + 6*x2^2*x4^3*x5^2*z + 8*x2*x3*x4^3*x5^2*z - 8*x2^3*x3*x4^3*x5^2*z - 4*x3^2*x4^3*x5^2*z + 4*x2^2*x3^2*x4^3*x5^2*z + x2*x4^4*x5^2*z - x2^3*x4^4*x5^2*z - 2*x3*x4^4*x5^2*z + 2*x2^2*x3*x4^4*x5^2*z - 4*x2*x3*x5^3*z + 4*x2^3*x3*x5^3*z - 6*x3^2*x5^3*z + 6*x2^2*x3^2*x5^3*z + 2*x2*x3^3*x5^3*z - 2*x2^3*x3^3*x5^3*z - 2*x3^4*x5^3*z + 2*x2^2*x3^4*x5^3*z - 4*x2*x4*x5^3*z + 4*x2^3*x4*x5^3*z - 14*x3*x4*x5^3*z + 14*x2^2*x3*x4*x5^3*z + 8*x2*x3^2*x4*x5^3*z - 8*x2^3*x3^2*x4*x5^3*z - 6*x3^3*x4*x5^3*z + 6*x2^2*x3^3*x4*x5^3*z - 6*x4^2*x5^3*z + 6*x2^2*x4^2*x5^3*z + 8*x2*x3*x4^2*x5^3*z - 8*x2^3*x3*x4^2*x5^3*z - 4*x3^2*x4^2*x5^3*z + 4*x2^2*x3^2*x4^2*x5^3*z + 2*x2*x4^3*x5^3*z - 2*x2^3*x4^3*x5^3*z - 6*x3*x4^3*x5^3*z + 6*x2^2*x3*x4^3*x5^3*z - 2*x4^4*x5^3*z + 2*x2^2*x4^4*x5^3*z - x2*x5^4*z + x2^3*x5^4*z - 2*x3*x5^4*z + 2*x2^2*x3*x5^4*z + x2*x3^2*x5^4*z - x2^3*x3^2*x5^4*z - 2*x3^3*x5^4*z + 2*x2^2*x3^3*x5^4*z - 2*x4*x5^4*z + 2*x2^2*x4*x5^4*z + 2*x2*x3*x4*x5^4*z - 2*x2^3*x3*x4*x5^4*z - 2*x3^2*x4*x5^4*z + 2*x2^2*x3^2*x4*x5^4*z + x2*x4^2*x5^4*z - x2^3*x4^2*x5^4*z - 2*x3*x4^2*x5^4*z + 2*x2^2*x3*x4^2*x5^4*z - 2*x4^3*x5^4*z + 2*x2^2*x4^3*x5^4*z + 2*x2*x3^5*z^2 - 2*x2^3*x3^5*z^2 + 10*x2*x3^4*x4*z^2 - 10*x2^3*x3^4*x4*z^2 + 2*x3^5*x4*z^2 - 2*x2^2*x3^5*x4*z^2 + 20*x2*x3^3*x4^2*z^2 - 20*x2^3*x3^3*x4^2*z^2 + 8*x3^4*x4^2*z^2 - 8*x2^2*x3^4*x4^2*z^2 - 3*x2*x3^5*x4^2*z^2 + 3*x2^3*x3^5*x4^2*z^2 + 20*x2*x3^2*x4^3*z^2 - 20*x2^3*x3^2*x4^3*z^2 + 12*x3^3*x4^3*z^2 - 12*x2^2*x3^3*x4^3*z^2 - 9*x2*x3^4*x4^3*z^2 + 9*x2^3*x3^4*x4^3*z^2 - 6*x3^5*x4^3*z^2 + 6*x2^2*x3^5*x4^3*z^2 + 10*x2*x3*x4^4*z^2 - 10*x2^3*x3*x4^4*z^2 + 8*x3^2*x4^4*z^2 - 8*x2^2*x3^2*x4^4*z^2 - 9*x2*x3^3*x4^4*z^2 + 9*x2^3*x3^3*x4^4*z^2 - 12*x3^4*x4^4*z^2 + 12*x2^2*x3^4*x4^4*z^2 + x2*x3^5*x4^4*z^2 - x2^3*x3^5*x4^4*z^2 + 2*x2*x4^5*z^2 - 2*x2^3*x4^5*z^2 + 2*x3*x4^5*z^2 - 2*x2^2*x3*x4^5*z^2 - 3*x2*x3^2*x4^5*z^2 + 3*x2^3*x3^2*x4^5*z^2 - 6*x3^3*x4^5*z^2 + 6*x2^2*x3^3*x4^5*z^2 + x2*x3^4*x4^5*z^2 - x2^3*x3^4*x4^5*z^2 - 2*x3^5*x4^5*z^2 + 2*x2^2*x3^5*x4^5*z^2 + 10*x2*x3^4*x5*z^2 - 10*x2^3*x3^4*x5*z^2 + 2*x3^5*x5*z^2 - 2*x2^2*x3^5*x5*z^2 + 40*x2*x3^3*x4*x5*z^2 - 40*x2^3*x3^3*x4*x5*z^2 + 18*x3^4*x4*x5*z^2 - 18*x2^2*x3^4*x4*x5*z^2 - 3*x2*x3^5*x4*x5*z^2 + 3*x2^3*x3^5*x4*x5*z^2 + 60*x2*x3^2*x4^2*x5*z^2 - 60*x2^3*x3^2*x4^2*x5*z^2 + 44*x3^3*x4^2*x5*z^2 - 44*x2^2*x3^3*x4^2*x5*z^2 - 21*x2*x3^4*x4^2*x5*z^2 + 21*x2^3*x3^4*x4^2*x5*z^2 - 12*x3^5*x4^2*x5*z^2 + 12*x2^2*x3^5*x4^2*x5*z^2 + 40*x2*x3*x4^3*x5*z^2 - 40*x2^3*x3*x4^3*x5*z^2 + 44*x3^2*x4^3*x5*z^2 - 44*x2^2*x3^2*x4^3*x5*z^2 - 36*x2*x3^3*x4^3*x5*z^2 + 36*x2^3*x3^3*x4^3*x5*z^2 - 48*x3^4*x4^3*x5*z^2 + 48*x2^2*x3^4*x4^3*x5*z^2 + x2*x3^5*x4^3*x5*z^2 - x2^3*x3^5*x4^3*x5*z^2 + 10*x2*x4^4*x5*z^2 - 10*x2^3*x4^4*x5*z^2 + 18*x3*x4^4*x5*z^2 - 18*x2^2*x3*x4^4*x5*z^2 - 21*x2*x3^2*x4^4*x5*z^2 + 21*x2^3*x3^2*x4^4*x5*z^2 - 48*x3^3*x4^4*x5*z^2 + 48*x2^2*x3^3*x4^4*x5*z^2 + 3*x2*x3^4*x4^4*x5*z^2 - 3*x2^3*x3^4*x4^4*x5*z^2 - 4*x3^5*x4^4*x5*z^2 + 4*x2^2*x3^5*x4^4*x5*z^2 + 2*x4^5*x5*z^2 - 2*x2^2*x4^5*x5*z^2 - 3*x2*x3*x4^5*x5*z^2 + 3*x2^3*x3*x4^5*x5*z^2 - 12*x3^2*x4^5*x5*z^2 + 12*x2^2*x3^2*x4^5*x5*z^2 + x2*x3^3*x4^5*x5*z^2 - x2^3*x3^3*x4^5*x5*z^2 - 4*x3^4*x4^5*x5*z^2 + 4*x2^2*x3^4*x4^5*x5*z^2 + 20*x2*x3^3*x5^2*z^2 - 20*x2^3*x3^3*x5^2*z^2 + 8*x3^4*x5^2*z^2 - 8*x2^2*x3^4*x5^2*z^2 - 3*x2*x3^5*x5^2*z^2 + 3*x2^3*x3^5*x5^2*z^2 + 60*x2*x3^2*x4*x5^2*z^2 - 60*x2^3*x3^2*x4*x5^2*z^2 + 44*x3^3*x4*x5^2*z^2 - 44*x2^2*x3^3*x4*x5^2*z^2 - 21*x2*x3^4*x4*x5^2*z^2 + 21*x2^3*x3^4*x4*x5^2*z^2 - 12*x3^5*x4*x5^2*z^2 + 12*x2^2*x3^5*x4*x5^2*z^2 + 60*x2*x3*x4^2*x5^2*z^2 - 60*x2^3*x3*x4^2*x5^2*z^2 + 72*x3^2*x4^2*x5^2*z^2 - 72*x2^2*x3^2*x4^2*x5^2*z^2 - 57*x2*x3^3*x4^2*x5^2*z^2 + 57*x2^3*x3^3*x4^2*x5^2*z^2 - 66*x3^4*x4^2*x5^2*z^2 + 66*x2^2*x3^4*x4^2*x5^2*z^2 + 20*x2*x4^3*x5^2*z^2 - 20*x2^3*x4^3*x5^2*z^2 + 44*x3*x4^3*x5^2*z^2 - 44*x2^2*x3*x4^3*x5^2*z^2 - 57*x2*x3^2*x4^3*x5^2*z^2 + 57*x2^3*x3^2*x4^3*x5^2*z^2 - 114*x3^3*x4^3*x5^2*z^2 + 114*x2^2*x3^3*x4^3*x5^2*z^2 - 2*x2*x3^4*x4^3*x5^2*z^2 + 2*x2^3*x3^4*x4^3*x5^2*z^2 - 8*x3^5*x4^3*x5^2*z^2 + 8*x2^2*x3^5*x4^3*x5^2*z^2 + 8*x4^4*x5^2*z^2 - 8*x2^2*x4^4*x5^2*z^2 - 21*x2*x3*x4^4*x5^2*z^2 + 21*x2^3*x3*x4^4*x5^2*z^2 - 66*x3^2*x4^4*x5^2*z^2 + 66*x2^2*x3^2*x4^4*x5^2*z^2 - 2*x2*x3^3*x4^4*x5^2*z^2 + 2*x2^3*x3^3*x4^4*x5^2*z^2 - 10*x3^4*x4^4*x5^2*z^2 + 10*x2^2*x3^4*x4^4*x5^2*z^2 - 3*x2*x4^5*x5^2*z^2 + 3*x2^3*x4^5*x5^2*z^2 - 12*x3*x4^5*x5^2*z^2 + 12*x2^2*x3*x4^5*x5^2*z^2 - 8*x3^3*x4^5*x5^2*z^2 + 8*x2^2*x3^3*x4^5*x5^2*z^2 + 20*x2*x3^2*x5^3*z^2 - 20*x2^3*x3^2*x5^3*z^2 + 12*x3^3*x5^3*z^2 - 12*x2^2*x3^3*x5^3*z^2 - 9*x2*x3^4*x5^3*z^2 + 9*x2^3*x3^4*x5^3*z^2 - 6*x3^5*x5^3*z^2 + 6*x2^2*x3^5*x5^3*z^2 + 40*x2*x3*x4*x5^3*z^2 - 40*x2^3*x3*x4*x5^3*z^2 + 44*x3^2*x4*x5^3*z^2 - 44*x2^2*x3^2*x4*x5^3*z^2 - 36*x2*x3^3*x4*x5^3*z^2 + 36*x2^3*x3^3*x4*x5^3*z^2 - 48*x3^4*x4*x5^3*z^2 + 48*x2^2*x3^4*x4*x5^3*z^2 + x2*x3^5*x4*x5^3*z^2 - x2^3*x3^5*x4*x5^3*z^2 + 20*x2*x4^2*x5^3*z^2 - 20*x2^3*x4^2*x5^3*z^2 + 44*x3*x4^2*x5^3*z^2 - 44*x2^2*x3*x4^2*x5^3*z^2 - 57*x2*x3^2*x4^2*x5^3*z^2 + 57*x2^3*x3^2*x4^2*x5^3*z^2 - 114*x3^3*x4^2*x5^3*z^2 + 114*x2^2*x3^3*x4^2*x5^3*z^2 - 2*x2*x3^4*x4^2*x5^3*z^2 + 2*x2^3*x3^4*x4^2*x5^3*z^2 - 8*x3^5*x4^2*x5^3*z^2 + 8*x2^2*x3^5*x4^2*x5^3*z^2 + 12*x4^3*x5^3*z^2 - 12*x2^2*x4^3*x5^3*z^2 - 36*x2*x3*x4^3*x5^3*z^2 + 36*x2^3*x3*x4^3*x5^3*z^2 - 114*x3^2*x4^3*x5^3*z^2 + 114*x2^2*x3^2*x4^3*x5^3*z^2 - 9*x2*x3^3*x4^3*x5^3*z^2 + 9*x2^3*x3^3*x4^3*x5^3*z^2 - 18*x3^4*x4^3*x5^3*z^2 + 18*x2^2*x3^4*x4^3*x5^3*z^2 - 9*x2*x4^4*x5^3*z^2 + 9*x2^3*x4^4*x5^3*z^2 - 48*x3*x4^4*x5^3*z^2 + 48*x2^2*x3*x4^4*x5^3*z^2 - 2*x2*x3^2*x4^4*x5^3*z^2 + 2*x2^3*x3^2*x4^4*x5^3*z^2 - 18*x3^3*x4^4*x5^3*z^2 + 18*x2^2*x3^3*x4^4*x5^3*z^2 - 6*x4^5*x5^3*z^2 + 6*x2^2*x4^5*x5^3*z^2 + x2*x3*x4^5*x5^3*z^2 - x2^3*x3*x4^5*x5^3*z^2 - 8*x3^2*x4^5*x5^3*z^2 + 8*x2^2*x3^2*x4^5*x5^3*z^2 + 10*x2*x3*x5^4*z^2 - 10*x2^3*x3*x5^4*z^2 + 8*x3^2*x5^4*z^2 - 8*x2^2*x3^2*x5^4*z^2 - 9*x2*x3^3*x5^4*z^2 + 9*x2^3*x3^3*x5^4*z^2 - 12*x3^4*x5^4*z^2 + 12*x2^2*x3^4*x5^4*z^2 + x2*x3^5*x5^4*z^2 - x2^3*x3^5*x5^4*z^2 + 10*x2*x4*x5^4*z^2 - 10*x2^3*x4*x5^4*z^2 + 18*x3*x4*x5^4*z^2 - 18*x2^2*x3*x4*x5^4*z^2 - 21*x2*x3^2*x4*x5^4*z^2 + 21*x2^3*x3^2*x4*x5^4*z^2 - 48*x3^3*x4*x5^4*z^2 + 48*x2^2*x3^3*x4*x5^4*z^2 + 3*x2*x3^4*x4*x5^4*z^2 - 3*x2^3*x3^4*x4*x5^4*z^2 - 4*x3^5*x4*x5^4*z^2 + 4*x2^2*x3^5*x4*x5^4*z^2 + 8*x4^2*x5^4*z^2 - 8*x2^2*x4^2*x5^4*z^2 - 21*x2*x3*x4^2*x5^4*z^2 + 21*x2^3*x3*x4^2*x5^4*z^2 - 66*x3^2*x4^2*x5^4*z^2 + 66*x2^2*x3^2*x4^2*x5^4*z^2 - 2*x2*x3^3*x4^2*x5^4*z^2 + 2*x2^3*x3^3*x4^2*x5^4*z^2 - 10*x3^4*x4^2*x5^4*z^2 + 10*x2^2*x3^4*x4^2*x5^4*z^2 - 9*x2*x4^3*x5^4*z^2 + 9*x2^3*x4^3*x5^4*z^2 - 48*x3*x4^3*x5^4*z^2 + 48*x2^2*x3*x4^3*x5^4*z^2 - 2*x2*x3^2*x4^3*x5^4*z^2 + 2*x2^3*x3^2*x4^3*x5^4*z^2 - 18*x3^3*x4^3*x5^4*z^2 + 18*x2^2*x3^3*x4^3*x5^4*z^2 - 12*x4^4*x5^4*z^2 + 12*x2^2*x4^4*x5^4*z^2 + 3*x2*x3*x4^4*x5^4*z^2 - 3*x2^3*x3*x4^4*x5^4*z^2 - 10*x3^2*x4^4*x5^4*z^2 + 10*x2^2*x3^2*x4^4*x5^4*z^2 + x2*x4^5*x5^4*z^2 - x2^3*x4^5*x5^4*z^2 - 4*x3*x4^5*x5^4*z^2 + 4*x2^2*x3*x4^5*x5^4*z^2 + 2*x2*x5^5*z^2 - 2*x2^3*x5^5*z^2 + 2*x3*x5^5*z^2 - 2*x2^2*x3*x5^5*z^2 - 3*x2*x3^2*x5^5*z^2 + 3*x2^3*x3^2*x5^5*z^2 - 6*x3^3*x5^5*z^2 + 6*x2^2*x3^3*x5^5*z^2 + x2*x3^4*x5^5*z^2 - x2^3*x3^4*x5^5*z^2 - 2*x3^5*x5^5*z^2 + 2*x2^2*x3^5*x5^5*z^2 + 2*x4*x5^5*z^2 - 2*x2^2*x4*x5^5*z^2 - 3*x2*x3*x4*x5^5*z^2 + 3*x2^3*x3*x4*x5^5*z^2 - 12*x3^2*x4*x5^5*z^2 + 12*x2^2*x3^2*x4*x5^5*z^2 + x2*x3^3*x4*x5^5*z^2 - x2^3*x3^3*x4*x5^5*z^2 - 4*x3^4*x4*x5^5*z^2 + 4*x2^2*x3^4*x4*x5^5*z^2 - 3*x2*x4^2*x5^5*z^2 + 3*x2^3*x4^2*x5^5*z^2 - 12*x3*x4^2*x5^5*z^2 + 12*x2^2*x3*x4^2*x5^5*z^2 - 8*x3^3*x4^2*x5^5*z^2 + 8*x2^2*x3^3*x4^2*x5^5*z^2 - 6*x4^3*x5^5*z^2 + 6*x2^2*x4^3*x5^5*z^2 + x2*x3*x4^3*x5^5*z^2 - x2^3*x3*x4^3*x5^5*z^2 - 8*x3^2*x4^3*x5^5*z^2 + 8*x2^2*x3^2*x4^3*x5^5*z^2 + x2*x4^4*x5^5*z^2 - x2^3*x4^4*x5^5*z^2 - 4*x3*x4^4*x5^5*z^2 + 4*x2^2*x3*x4^4*x5^5*z^2 - 2*x4^5*x5^5*z^2 + 2*x2^2*x4^5*x5^5*z^2 - x2*x3^6*z^3 + x2^3*x3^6*z^3 - 6*x2*x3^5*x4*z^3 + 6*x2^3*x3^5*x4*z^3 - x3^6*x4*z^3 + 2*x2^2*x3^6*x4*z^3 - x2^4*x3^6*x4*z^3 - 15*x2*x3^4*x4^2*z^3 + 15*x2^3*x3^4*x4^2*z^3 - 5*x3^5*x4^2*z^3 + 10*x2^2*x3^5*x4^2*z^3 - 5*x2^4*x3^5*x4^2*z^3 + 9*x2*x3^6*x4^2*z^3 - 9*x2^3*x3^6*x4^2*z^3 - 20*x2*x3^3*x4^3*z^3 + 20*x2^3*x3^3*x4^3*z^3 - 10*x3^4*x4^3*z^3 + 20*x2^2*x3^4*x4^3*z^3 - 10*x2^4*x3^4*x4^3*z^3 + 36*x2*x3^5*x4^3*z^3 - 36*x2^3*x3^5*x4^3*z^3 + 8*x3^6*x4^3*z^3 - 10*x2^2*x3^6*x4^3*z^3 + 2*x2^4*x3^6*x4^3*z^3 - 15*x2*x3^2*x4^4*z^3 + 15*x2^3*x3^2*x4^4*z^3 - 10*x3^3*x4^4*z^3 + 20*x2^2*x3^3*x4^4*z^3 - 10*x2^4*x3^3*x4^4*z^3 + 54*x2*x3^4*x4^4*z^3 - 54*x2^3*x3^4*x4^4*z^3 + 24*x3^5*x4^4*z^3 - 30*x2^2*x3^5*x4^4*z^3 + 6*x2^4*x3^5*x4^4*z^3 - 10*x2*x3^6*x4^4*z^3 + 10*x2^3*x3^6*x4^4*z^3 - 6*x2*x3*x4^5*z^3 + 6*x2^3*x3*x4^5*z^3 - 5*x3^2*x4^5*z^3 + 10*x2^2*x3^2*x4^5*z^3 - 5*x2^4*x3^2*x4^5*z^3 + 36*x2*x3^3*x4^5*z^3 - 36*x2^3*x3^3*x4^5*z^3 + 24*x3^4*x4^5*z^3 - 30*x2^2*x3^4*x4^5*z^3 + 6*x2^4*x3^4*x4^5*z^3 - 20*x2*x3^5*x4^5*z^3 + 20*x2^3*x3^5*x4^5*z^3 - 11*x3^6*x4^5*z^3 + 12*x2^2*x3^6*x4^5*z^3 - x2^4*x3^6*x4^5*z^3 - x2*x4^6*z^3 + x2^3*x4^6*z^3 - x3*x4^6*z^3 + 2*x2^2*x3*x4^6*z^3 - x2^4*x3*x4^6*z^3 + 9*x2*x3^2*x4^6*z^3 - 9*x2^3*x3^2*x4^6*z^3 + 8*x3^3*x4^6*z^3 - 10*x2^2*x3^3*x4^6*z^3 + 2*x2^4*x3^3*x4^6*z^3 - 10*x2*x3^4*x4^6*z^3 + 10*x2^3*x3^4*x4^6*z^3 - 11*x3^5*x4^6*z^3 + 12*x2^2*x3^5*x4^6*z^3 - x2^4*x3^5*x4^6*z^3 + 2*x2*x3^6*x4^6*z^3 - 2*x2^3*x3^6*x4^6*z^3 - 6*x2*x3^5*x5*z^3 + 6*x2^3*x3^5*x5*z^3 - x3^6*x5*z^3 + 2*x2^2*x3^6*x5*z^3 - x2^4*x3^6*x5*z^3 - 30*x2*x3^4*x4*x5*z^3 + 30*x2^3*x3^4*x4*x5*z^3 - 11*x3^5*x4*x5*z^3 + 22*x2^2*x3^5*x4*x5*z^3 - 11*x2^4*x3^5*x4*x5*z^3 + 14*x2*x3^6*x4*x5*z^3 - 14*x2^3*x3^6*x4*x5*z^3 - 60*x2*x3^3*x4^2*x5*z^3 + 60*x2^3*x3^3*x4^2*x5*z^3 - 35*x3^4*x4^2*x5*z^3 + 70*x2^2*x3^4*x4^2*x5*z^3 - 35*x2^4*x3^4*x4^2*x5*z^3 + 106*x2*x3^5*x4^2*x5*z^3 - 106*x2^3*x3^5*x4^2*x5*z^3 + 20*x3^6*x4^2*x5*z^3 - 26*x2^2*x3^6*x4^2*x5*z^3 + 6*x2^4*x3^6*x4^2*x5*z^3 - 60*x2*x3^2*x4^3*x5*z^3 + 60*x2^3*x3^2*x4^3*x5*z^3 - 50*x3^3*x4^3*x5*z^3 + 100*x2^2*x3^3*x4^3*x5*z^3 - 50*x2^4*x3^3*x4^3*x5*z^3 + 248*x2*x3^4*x4^3*x5*z^3 - 248*x2^3*x3^4*x4^3*x5*z^3 + 104*x3^5*x4^3*x5*z^3 - 134*x2^2*x3^5*x4^3*x5*z^3 + 30*x2^4*x3^5*x4^3*x5*z^3 - 34*x2*x3^6*x4^3*x5*z^3 + 34*x2^3*x3^6*x4^3*x5*z^3 - 30*x2*x3*x4^4*x5*z^3 + 30*x2^3*x3*x4^4*x5*z^3 - 35*x3^2*x4^4*x5*z^3 + 70*x2^2*x3^2*x4^4*x5*z^3 - 35*x2^4*x3^2*x4^4*x5*z^3 + 248*x2*x3^3*x4^4*x5*z^3 - 248*x2^3*x3^3*x4^4*x5*z^3 + 168*x3^4*x4^4*x5*z^3 - 216*x2^2*x3^4*x4^4*x5*z^3 + 48*x2^4*x3^4*x4^4*x5*z^3 - 122*x2*x3^5*x4^4*x5*z^3 + 122*x2^3*x3^5*x4^4*x5*z^3 - 43*x3^6*x4^4*x5*z^3 + 48*x2^2*x3^6*x4^4*x5*z^3 - 5*x2^4*x3^6*x4^4*x5*z^3 - 6*x2*x4^5*x5*z^3 + 6*x2^3*x4^5*x5*z^3 - 11*x3*x4^5*x5*z^3 + 22*x2^2*x3*x4^5*x5*z^3 - 11*x2^4*x3*x4^5*x5*z^3 + 106*x2*x3^2*x4^5*x5*z^3 - 106*x2^3*x3^2*x4^5*x5*z^3 + 104*x3^3*x4^5*x5*z^3 - 134*x2^2*x3^3*x4^5*x5*z^3 + 30*x2^4*x3^3*x4^5*x5*z^3 - 122*x2*x3^4*x4^5*x5*z^3 + 122*x2^3*x3^4*x4^5*x5*z^3 - 97*x3^5*x4^5*x5*z^3 + 108*x2^2*x3^5*x4^5*x5*z^3 - 11*x2^4*x3^5*x4^5*x5*z^3 + 10*x2*x3^6*x4^5*x5*z^3 - 10*x2^3*x3^6*x4^5*x5*z^3 - x4^6*x5*z^3 + 2*x2^2*x4^6*x5*z^3 - x2^4*x4^6*x5*z^3 + 14*x2*x3*x4^6*x5*z^3 - 14*x2^3*x3*x4^6*x5*z^3 + 20*x3^2*x4^6*x5*z^3 - 26*x2^2*x3^2*x4^6*x5*z^3 + 6*x2^4*x3^2*x4^6*x5*z^3 - 34*x2*x3^3*x4^6*x5*z^3 + 34*x2^3*x3^3*x4^6*x5*z^3 - 43*x3^4*x4^6*x5*z^3 + 48*x2^2*x3^4*x4^6*x5*z^3 - 5*x2^4*x3^4*x4^6*x5*z^3 + 10*x2*x3^5*x4^6*x5*z^3 - 10*x2^3*x3^5*x4^6*x5*z^3 + 4*x3^6*x4^6*x5*z^3 - 4*x2^2*x3^6*x4^6*x5*z^3 - 15*x2*x3^4*x5^2*z^3 + 15*x2^3*x3^4*x5^2*z^3 - 5*x3^5*x5^2*z^3 + 10*x2^2*x3^5*x5^2*z^3 - 5*x2^4*x3^5*x5^2*z^3 + 9*x2*x3^6*x5^2*z^3 - 9*x2^3*x3^6*x5^2*z^3 - 60*x2*x3^3*x4*x5^2*z^3 + 60*x2^3*x3^3*x4*x5^2*z^3 - 35*x3^4*x4*x5^2*z^3 + 70*x2^2*x3^4*x4*x5^2*z^3 - 35*x2^4*x3^4*x4*x5^2*z^3 + 106*x2*x3^5*x4*x5^2*z^3 - 106*x2^3*x3^5*x4*x5^2*z^3 + 20*x3^6*x4*x5^2*z^3 - 26*x2^2*x3^6*x4*x5^2*z^3 + 6*x2^4*x3^6*x4*x5^2*z^3 - 90*x2*x3^2*x4^2*x5^2*z^3 + 90*x2^3*x3^2*x4^2*x5^2*z^3 - 80*x3^3*x4^2*x5^2*z^3 + 160*x2^2*x3^3*x4^2*x5^2*z^3 - 80*x2^4*x3^3*x4^2*x5^2*z^3 + 397*x2*x3^4*x4^2*x5^2*z^3 - 397*x2^3*x3^4*x4^2*x5^2*z^3 + 156*x3^5*x4^2*x5^2*z^3 - 204*x2^2*x3^5*x4^2*x5^2*z^3 + 48*x2^4*x3^5*x4^2*x5^2*z^3 - 51*x2*x3^6*x4^2*x5^2*z^3 + 51*x2^3*x3^6*x4^2*x5^2*z^3 - 60*x2*x3*x4^3*x5^2*z^3 + 60*x2^3*x3*x4^3*x5^2*z^3 - 80*x3^2*x4^3*x5^2*z^3 + 160*x2^2*x3^2*x4^3*x5^2*z^3 - 80*x2^4*x3^2*x4^3*x5^2*z^3 + 600*x2*x3^3*x4^3*x5^2*z^3 - 600*x2^3*x3^3*x4^3*x5^2*z^3 + 392*x3^4*x4^3*x5^2*z^3 - 512*x2^2*x3^4*x4^3*x5^2*z^3 + 120*x2^4*x3^4*x4^3*x5^2*z^3 - 266*x2*x3^5*x4^3*x5^2*z^3 + 266*x2^3*x3^5*x4^3*x5^2*z^3 - 80*x3^6*x4^3*x5^2*z^3 + 90*x2^2*x3^6*x4^3*x5^2*z^3 - 10*x2^4*x3^6*x4^3*x5^2*z^3 - 15*x2*x4^4*x5^2*z^3 + 15*x2^3*x4^4*x5^2*z^3 - 35*x3*x4^4*x5^2*z^3 + 70*x2^2*x3*x4^4*x5^2*z^3 - 35*x2^4*x3*x4^4*x5^2*z^3 + 397*x2*x3^2*x4^4*x5^2*z^3 - 397*x2^3*x3^2*x4^4*x5^2*z^3 + 392*x3^3*x4^4*x5^2*z^3 - 512*x2^2*x3^3*x4^4*x5^2*z^3 + 120*x2^4*x3^3*x4^4*x5^2*z^3 - 440*x2*x3^4*x4^4*x5^2*z^3 + 440*x2^3*x3^4*x4^4*x5^2*z^3 - 271*x3^5*x4^4*x5^2*z^3 + 306*x2^2*x3^5*x4^4*x5^2*z^3 - 35*x2^4*x3^5*x4^4*x5^2*z^3 + 25*x2*x3^6*x4^4*x5^2*z^3 - 25*x2^3*x3^6*x4^4*x5^2*z^3 - 5*x4^5*x5^2*z^3 + 10*x2^2*x4^5*x5^2*z^3 - 5*x2^4*x4^5*x5^2*z^3 + 106*x2*x3*x4^5*x5^2*z^3 - 106*x2^3*x3*x4^5*x5^2*z^3 + 156*x3^2*x4^5*x5^2*z^3 - 204*x2^2*x3^2*x4^5*x5^2*z^3 + 48*x2^4*x3^2*x4^5*x5^2*z^3 - 266*x2*x3^3*x4^5*x5^2*z^3 + 266*x2^3*x3^3*x4^5*x5^2*z^3 - 271*x3^4*x4^5*x5^2*z^3 + 306*x2^2*x3^4*x4^5*x5^2*z^3 - 35*x2^4*x3^4*x4^5*x5^2*z^3 + 48*x2*x3^5*x4^5*x5^2*z^3 - 48*x2^3*x3^5*x4^5*x5^2*z^3 + 14*x3^6*x4^5*x5^2*z^3 - 14*x2^2*x3^6*x4^5*x5^2*z^3 + 9*x2*x4^6*x5^2*z^3 - 9*x2^3*x4^6*x5^2*z^3 + 20*x3*x4^6*x5^2*z^3 - 26*x2^2*x3*x4^6*x5^2*z^3 + 6*x2^4*x3*x4^6*x5^2*z^3 - 51*x2*x3^2*x4^6*x5^2*z^3 + 51*x2^3*x3^2*x4^6*x5^2*z^3 - 80*x3^3*x4^6*x5^2*z^3 + 90*x2^2*x3^3*x4^6*x5^2*z^3 - 10*x2^4*x3^3*x4^6*x5^2*z^3 + 25*x2*x3^4*x4^6*x5^2*z^3 - 25*x2^3*x3^4*x4^6*x5^2*z^3 + 14*x3^5*x4^6*x5^2*z^3 - 14*x2^2*x3^5*x4^6*x5^2*z^3 - 20*x2*x3^3*x5^3*z^3 + 20*x2^3*x3^3*x5^3*z^3 - 10*x3^4*x5^3*z^3 + 20*x2^2*x3^4*x5^3*z^3 - 10*x2^4*x3^4*x5^3*z^3 + 36*x2*x3^5*x5^3*z^3 - 36*x2^3*x3^5*x5^3*z^3 + 8*x3^6*x5^3*z^3 - 10*x2^2*x3^6*x5^3*z^3 + 2*x2^4*x3^6*x5^3*z^3 - 60*x2*x3^2*x4*x5^3*z^3 + 60*x2^3*x3^2*x4*x5^3*z^3 - 50*x3^3*x4*x5^3*z^3 + 100*x2^2*x3^3*x4*x5^3*z^3 - 50*x2^4*x3^3*x4*x5^3*z^3 + 248*x2*x3^4*x4*x5^3*z^3 - 248*x2^3*x3^4*x4*x5^3*z^3 + 104*x3^5*x4*x5^3*z^3 - 134*x2^2*x3^5*x4*x5^3*z^3 + 30*x2^4*x3^5*x4*x5^3*z^3 - 34*x2*x3^6*x4*x5^3*z^3 + 34*x2^3*x3^6*x4*x5^3*z^3 - 60*x2*x3*x4^2*x5^3*z^3 + 60*x2^3*x3*x4^2*x5^3*z^3 - 80*x3^2*x4^2*x5^3*z^3 + 160*x2^2*x3^2*x4^2*x5^3*z^3 - 80*x2^4*x3^2*x4^2*x5^3*z^3 + 600*x2*x3^3*x4^2*x5^3*z^3 - 600*x2^3*x3^3*x4^2*x5^3*z^3 + 392*x3^4*x4^2*x5^3*z^3 - 512*x2^2*x3^4*x4^2*x5^3*z^3 + 120*x2^4*x3^4*x4^2*x5^3*z^3 - 266*x2*x3^5*x4^2*x5^3*z^3 + 266*x2^3*x3^5*x4^2*x5^3*z^3 - 80*x3^6*x4^2*x5^3*z^3 + 90*x2^2*x3^6*x4^2*x5^3*z^3 - 10*x2^4*x3^6*x4^2*x5^3*z^3 - 20*x2*x4^3*x5^3*z^3 + 20*x2^3*x4^3*x5^3*z^3 - 50*x3*x4^3*x5^3*z^3 + 100*x2^2*x3*x4^3*x5^3*z^3 - 50*x2^4*x3*x4^3*x5^3*z^3 + 600*x2*x3^2*x4^3*x5^3*z^3 - 600*x2^3*x3^2*x4^3*x5^3*z^3 + 600*x3^3*x4^3*x5^3*z^3 - 786*x2^2*x3^3*x4^3*x5^3*z^3 + 186*x2^4*x3^3*x4^3*x5^3*z^3 - 650*x2*x3^4*x4^3*x5^3*z^3 + 650*x2^3*x3^4*x4^3*x5^3*z^3 - 376*x3^5*x4^3*x5^3*z^3 + 426*x2^2*x3^5*x4^3*x5^3*z^3 - 50*x2^4*x3^5*x4^3*x5^3*z^3 + 34*x2*x3^6*x4^3*x5^3*z^3 - 34*x2^3*x3^6*x4^3*x5^3*z^3 - 10*x4^4*x5^3*z^3 + 20*x2^2*x4^4*x5^3*z^3 - 10*x2^4*x4^4*x5^3*z^3 + 248*x2*x3*x4^4*x5^3*z^3 - 248*x2^3*x3*x4^4*x5^3*z^3 + 392*x3^2*x4^4*x5^3*z^3 - 512*x2^2*x3^2*x4^4*x5^3*z^3 + 120*x2^4*x3^2*x4^4*x5^3*z^3 - 650*x2*x3^3*x4^4*x5^3*z^3 + 650*x2^3*x3^3*x4^4*x5^3*z^3 - 580*x3^4*x4^4*x5^3*z^3 + 660*x2^2*x3^4*x4^4*x5^3*z^3 - 80*x2^4*x3^4*x4^4*x5^3*z^3 + 100*x2*x3^5*x4^4*x5^3*z^3 - 100*x2^3*x3^5*x4^4*x5^3*z^3 + 26*x3^6*x4^4*x5^3*z^3 - 26*x2^2*x3^6*x4^4*x5^3*z^3 + 36*x2*x4^5*x5^3*z^3 - 36*x2^3*x4^5*x5^3*z^3 + 104*x3*x4^5*x5^3*z^3 - 134*x2^2*x3*x4^5*x5^3*z^3 + 30*x2^4*x3*x4^5*x5^3*z^3 - 266*x2*x3^2*x4^5*x5^3*z^3 + 266*x2^3*x3^2*x4^5*x5^3*z^3 - 376*x3^3*x4^5*x5^3*z^3 + 426*x2^2*x3^3*x4^5*x5^3*z^3 - 50*x2^4*x3^3*x4^5*x5^3*z^3 + 100*x2*x3^4*x4^5*x5^3*z^3 - 100*x2^3*x3^4*x4^5*x5^3*z^3 + 46*x3^5*x4^5*x5^3*z^3 - 46*x2^2*x3^5*x4^5*x5^3*z^3 + 8*x4^6*x5^3*z^3 - 10*x2^2*x4^6*x5^3*z^3 + 2*x2^4*x4^6*x5^3*z^3 - 34*x2*x3*x4^6*x5^3*z^3 + 34*x2^3*x3*x4^6*x5^3*z^3 - 80*x3^2*x4^6*x5^3*z^3 + 90*x2^2*x3^2*x4^6*x5^3*z^3 - 10*x2^4*x3^2*x4^6*x5^3*z^3 + 34*x2*x3^3*x4^6*x5^3*z^3 - 34*x2^3*x3^3*x4^6*x5^3*z^3 + 26*x3^4*x4^6*x5^3*z^3 - 26*x2^2*x3^4*x4^6*x5^3*z^3 - 15*x2*x3^2*x5^4*z^3 + 15*x2^3*x3^2*x5^4*z^3 - 10*x3^3*x5^4*z^3 + 20*x2^2*x3^3*x5^4*z^3 - 10*x2^4*x3^3*x5^4*z^3 + 54*x2*x3^4*x5^4*z^3 - 54*x2^3*x3^4*x5^4*z^3 + 24*x3^5*x5^4*z^3 - 30*x2^2*x3^5*x5^4*z^3 + 6*x2^4*x3^5*x5^4*z^3 - 10*x2*x3^6*x5^4*z^3 + 10*x2^3*x3^6*x5^4*z^3 - 30*x2*x3*x4*x5^4*z^3 + 30*x2^3*x3*x4*x5^4*z^3 - 35*x3^2*x4*x5^4*z^3 + 70*x2^2*x3^2*x4*x5^4*z^3 - 35*x2^4*x3^2*x4*x5^4*z^3 + 248*x2*x3^3*x4*x5^4*z^3 - 248*x2^3*x3^3*x4*x5^4*z^3 + 168*x3^4*x4*x5^4*z^3 - 216*x2^2*x3^4*x4*x5^4*z^3 + 48*x2^4*x3^4*x4*x5^4*z^3 - 122*x2*x3^5*x4*x5^4*z^3 + 122*x2^3*x3^5*x4*x5^4*z^3 - 43*x3^6*x4*x5^4*z^3 + 48*x2^2*x3^6*x4*x5^4*z^3 - 5*x2^4*x3^6*x4*x5^4*z^3 - 15*x2*x4^2*x5^4*z^3 + 15*x2^3*x4^2*x5^4*z^3 - 35*x3*x4^2*x5^4*z^3 + 70*x2^2*x3*x4^2*x5^4*z^3 - 35*x2^4*x3*x4^2*x5^4*z^3 + 397*x2*x3^2*x4^2*x5^4*z^3 - 397*x2^3*x3^2*x4^2*x5^4*z^3 + 392*x3^3*x4^2*x5^4*z^3 - 512*x2^2*x3^3*x4^2*x5^4*z^3 + 120*x2^4*x3^3*x4^2*x5^4*z^3 - 440*x2*x3^4*x4^2*x5^4*z^3 + 440*x2^3*x3^4*x4^2*x5^4*z^3 - 271*x3^5*x4^2*x5^4*z^3 + 306*x2^2*x3^5*x4^2*x5^4*z^3 - 35*x2^4*x3^5*x4^2*x5^4*z^3 + 25*x2*x3^6*x4^2*x5^4*z^3 - 25*x2^3*x3^6*x4^2*x5^4*z^3 - 10*x4^3*x5^4*z^3 + 20*x2^2*x4^3*x5^4*z^3 - 10*x2^4*x4^3*x5^4*z^3 + 248*x2*x3*x4^3*x5^4*z^3 - 248*x2^3*x3*x4^3*x5^4*z^3 + 392*x3^2*x4^3*x5^4*z^3 - 512*x2^2*x3^2*x4^3*x5^4*z^3 + 120*x2^4*x3^2*x4^3*x5^4*z^3 - 650*x2*x3^3*x4^3*x5^4*z^3 + 650*x2^3*x3^3*x4^3*x5^4*z^3 - 580*x3^4*x4^3*x5^4*z^3 + 660*x2^2*x3^4*x4^3*x5^4*z^3 - 80*x2^4*x3^4*x4^3*x5^4*z^3 + 100*x2*x3^5*x4^3*x5^4*z^3 - 100*x2^3*x3^5*x4^3*x5^4*z^3 + 26*x3^6*x4^3*x5^4*z^3 - 26*x2^2*x3^6*x4^3*x5^4*z^3 + 54*x2*x4^4*x5^4*z^3 - 54*x2^3*x4^4*x5^4*z^3 + 168*x3*x4^4*x5^4*z^3 - 216*x2^2*x3*x4^4*x5^4*z^3 + 48*x2^4*x3*x4^4*x5^4*z^3 - 440*x2*x3^2*x4^4*x5^4*z^3 + 440*x2^3*x3^2*x4^4*x5^4*z^3 - 580*x3^3*x4^4*x5^4*z^3 + 660*x2^2*x3^3*x4^4*x5^4*z^3 - 80*x2^4*x3^3*x4^4*x5^4*z^3 + 153*x2*x3^4*x4^4*x5^4*z^3 - 153*x2^3*x3^4*x4^4*x5^4*z^3 + 68*x3^5*x4^4*x5^4*z^3 - 68*x2^2*x3^5*x4^4*x5^4*z^3 + 24*x4^5*x5^4*z^3 - 30*x2^2*x4^5*x5^4*z^3 + 6*x2^4*x4^5*x5^4*z^3 - 122*x2*x3*x4^5*x5^4*z^3 + 122*x2^3*x3*x4^5*x5^4*z^3 - 271*x3^2*x4^5*x5^4*z^3 + 306*x2^2*x3^2*x4^5*x5^4*z^3 - 35*x2^4*x3^2*x4^5*x5^4*z^3 + 100*x2*x3^3*x4^5*x5^4*z^3 - 100*x2^3*x3^3*x4^5*x5^4*z^3 + 68*x3^4*x4^5*x5^4*z^3 - 68*x2^2*x3^4*x4^5*x5^4*z^3 - 10*x2*x4^6*x5^4*z^3 + 10*x2^3*x4^6*x5^4*z^3 - 43*x3*x4^6*x5^4*z^3 + 48*x2^2*x3*x4^6*x5^4*z^3 - 5*x2^4*x3*x4^6*x5^4*z^3 + 25*x2*x3^2*x4^6*x5^4*z^3 - 25*x2^3*x3^2*x4^6*x5^4*z^3 + 26*x3^3*x4^6*x5^4*z^3 - 26*x2^2*x3^3*x4^6*x5^4*z^3 - 6*x2*x3*x5^5*z^3 + 6*x2^3*x3*x5^5*z^3 - 5*x3^2*x5^5*z^3 + 10*x2^2*x3^2*x5^5*z^3 - 5*x2^4*x3^2*x5^5*z^3 + 36*x2*x3^3*x5^5*z^3 - 36*x2^3*x3^3*x5^5*z^3 + 24*x3^4*x5^5*z^3 - 30*x2^2*x3^4*x5^5*z^3 + 6*x2^4*x3^4*x5^5*z^3 - 20*x2*x3^5*x5^5*z^3 + 20*x2^3*x3^5*x5^5*z^3 - 11*x3^6*x5^5*z^3 + 12*x2^2*x3^6*x5^5*z^3 - x2^4*x3^6*x5^5*z^3 - 6*x2*x4*x5^5*z^3 + 6*x2^3*x4*x5^5*z^3 - 11*x3*x4*x5^5*z^3 + 22*x2^2*x3*x4*x5^5*z^3 - 11*x2^4*x3*x4*x5^5*z^3 + 106*x2*x3^2*x4*x5^5*z^3 - 106*x2^3*x3^2*x4*x5^5*z^3 + 104*x3^3*x4*x5^5*z^3 - 134*x2^2*x3^3*x4*x5^5*z^3 + 30*x2^4*x3^3*x4*x5^5*z^3 - 122*x2*x3^4*x4*x5^5*z^3 + 122*x2^3*x3^4*x4*x5^5*z^3 - 97*x3^5*x4*x5^5*z^3 + 108*x2^2*x3^5*x4*x5^5*z^3 - 11*x2^4*x3^5*x4*x5^5*z^3 + 10*x2*x3^6*x4*x5^5*z^3 - 10*x2^3*x3^6*x4*x5^5*z^3 - 5*x4^2*x5^5*z^3 + 10*x2^2*x4^2*x5^5*z^3 - 5*x2^4*x4^2*x5^5*z^3 + 106*x2*x3*x4^2*x5^5*z^3 - 106*x2^3*x3*x4^2*x5^5*z^3 + 156*x3^2*x4^2*x5^5*z^3 - 204*x2^2*x3^2*x4^2*x5^5*z^3 + 48*x2^4*x3^2*x4^2*x5^5*z^3 - 266*x2*x3^3*x4^2*x5^5*z^3 + 266*x2^3*x3^3*x4^2*x5^5*z^3 - 271*x3^4*x4^2*x5^5*z^3 + 306*x2^2*x3^4*x4^2*x5^5*z^3 - 35*x2^4*x3^4*x4^2*x5^5*z^3 + 48*x2*x3^5*x4^2*x5^5*z^3 - 48*x2^3*x3^5*x4^2*x5^5*z^3 + 14*x3^6*x4^2*x5^5*z^3 - 14*x2^2*x3^6*x4^2*x5^5*z^3 + 36*x2*x4^3*x5^5*z^3 - 36*x2^3*x4^3*x5^5*z^3 + 104*x3*x4^3*x5^5*z^3 - 134*x2^2*x3*x4^3*x5^5*z^3 + 30*x2^4*x3*x4^3*x5^5*z^3 - 266*x2*x3^2*x4^3*x5^5*z^3 + 266*x2^3*x3^2*x4^3*x5^5*z^3 - 376*x3^3*x4^3*x5^5*z^3 + 426*x2^2*x3^3*x4^3*x5^5*z^3 - 50*x2^4*x3^3*x4^3*x5^5*z^3 + 100*x2*x3^4*x4^3*x5^5*z^3 - 100*x2^3*x3^4*x4^3*x5^5*z^3 + 46*x3^5*x4^3*x5^5*z^3 - 46*x2^2*x3^5*x4^3*x5^5*z^3 + 24*x4^4*x5^5*z^3 - 30*x2^2*x4^4*x5^5*z^3 + 6*x2^4*x4^4*x5^5*z^3 - 122*x2*x3*x4^4*x5^5*z^3 + 122*x2^3*x3*x4^4*x5^5*z^3 - 271*x3^2*x4^4*x5^5*z^3 + 306*x2^2*x3^2*x4^4*x5^5*z^3 - 35*x2^4*x3^2*x4^4*x5^5*z^3 + 100*x2*x3^3*x4^4*x5^5*z^3 - 100*x2^3*x3^3*x4^4*x5^5*z^3 + 68*x3^4*x4^4*x5^5*z^3 - 68*x2^2*x3^4*x4^4*x5^5*z^3 - 20*x2*x4^5*x5^5*z^3 + 20*x2^3*x4^5*x5^5*z^3 - 97*x3*x4^5*x5^5*z^3 + 108*x2^2*x3*x4^5*x5^5*z^3 - 11*x2^4*x3*x4^5*x5^5*z^3 + 48*x2*x3^2*x4^5*x5^5*z^3 - 48*x2^3*x3^2*x4^5*x5^5*z^3 + 46*x3^3*x4^5*x5^5*z^3 - 46*x2^2*x3^3*x4^5*x5^5*z^3 - 11*x4^6*x5^5*z^3 + 12*x2^2*x4^6*x5^5*z^3 - x2^4*x4^6*x5^5*z^3 + 10*x2*x3*x4^6*x5^5*z^3 - 10*x2^3*x3*x4^6*x5^5*z^3 + 14*x3^2*x4^6*x5^5*z^3 - 14*x2^2*x3^2*x4^6*x5^5*z^3 - x2*x5^6*z^3 + x2^3*x5^6*z^3 - x3*x5^6*z^3 + 2*x2^2*x3*x5^6*z^3 - x2^4*x3*x5^6*z^3 + 9*x2*x3^2*x5^6*z^3 - 9*x2^3*x3^2*x5^6*z^3 + 8*x3^3*x5^6*z^3 - 10*x2^2*x3^3*x5^6*z^3 + 2*x2^4*x3^3*x5^6*z^3 - 10*x2*x3^4*x5^6*z^3 + 10*x2^3*x3^4*x5^6*z^3 - 11*x3^5*x5^6*z^3 + 12*x2^2*x3^5*x5^6*z^3 - x2^4*x3^5*x5^6*z^3 + 2*x2*x3^6*x5^6*z^3 - 2*x2^3*x3^6*x5^6*z^3 - x4*x5^6*z^3 + 2*x2^2*x4*x5^6*z^3 - x2^4*x4*x5^6*z^3 + 14*x2*x3*x4*x5^6*z^3 - 14*x2^3*x3*x4*x5^6*z^3 + 20*x3^2*x4*x5^6*z^3 - 26*x2^2*x3^2*x4*x5^6*z^3 + 6*x2^4*x3^2*x4*x5^6*z^3 - 34*x2*x3^3*x4*x5^6*z^3 + 34*x2^3*x3^3*x4*x5^6*z^3 - 43*x3^4*x4*x5^6*z^3 + 48*x2^2*x3^4*x4*x5^6*z^3 - 5*x2^4*x3^4*x4*x5^6*z^3 + 10*x2*x3^5*x4*x5^6*z^3 - 10*x2^3*x3^5*x4*x5^6*z^3 + 4*x3^6*x4*x5^6*z^3 - 4*x2^2*x3^6*x4*x5^6*z^3 + 9*x2*x4^2*x5^6*z^3 - 9*x2^3*x4^2*x5^6*z^3 + 20*x3*x4^2*x5^6*z^3 - 26*x2^2*x3*x4^2*x5^6*z^3 + 6*x2^4*x3*x4^2*x5^6*z^3 - 51*x2*x3^2*x4^2*x5^6*z^3 + 51*x2^3*x3^2*x4^2*x5^6*z^3 - 80*x3^3*x4^2*x5^6*z^3 + 90*x2^2*x3^3*x4^2*x5^6*z^3 - 10*x2^4*x3^3*x4^2*x5^6*z^3 + 25*x2*x3^4*x4^2*x5^6*z^3 - 25*x2^3*x3^4*x4^2*x5^6*z^3 + 14*x3^5*x4^2*x5^6*z^3 - 14*x2^2*x3^5*x4^2*x5^6*z^3 + 8*x4^3*x5^6*z^3 - 10*x2^2*x4^3*x5^6*z^3 + 2*x2^4*x4^3*x5^6*z^3 - 34*x2*x3*x4^3*x5^6*z^3 + 34*x2^3*x3*x4^3*x5^6*z^3 - 80*x3^2*x4^3*x5^6*z^3 + 90*x2^2*x3^2*x4^3*x5^6*z^3 - 10*x2^4*x3^2*x4^3*x5^6*z^3 + 34*x2*x3^3*x4^3*x5^6*z^3 - 34*x2^3*x3^3*x4^3*x5^6*z^3 + 26*x3^4*x4^3*x5^6*z^3 - 26*x2^2*x3^4*x4^3*x5^6*z^3 - 10*x2*x4^4*x5^6*z^3 + 10*x2^3*x4^4*x5^6*z^3 - 43*x3*x4^4*x5^6*z^3 + 48*x2^2*x3*x4^4*x5^6*z^3 - 5*x2^4*x3*x4^4*x5^6*z^3 + 25*x2*x3^2*x4^4*x5^6*z^3 - 25*x2^3*x3^2*x4^4*x5^6*z^3 + 26*x3^3*x4^4*x5^6*z^3 - 26*x2^2*x3^3*x4^4*x5^6*z^3 - 11*x4^5*x5^6*z^3 + 12*x2^2*x4^5*x5^6*z^3 - x2^4*x4^5*x5^6*z^3 + 10*x2*x3*x4^5*x5^6*z^3 - 10*x2^3*x3*x4^5*x5^6*z^3 + 14*x3^2*x4^5*x5^6*z^3 - 14*x2^2*x3^2*x4^5*x5^6*z^3 + 2*x2*x4^6*x5^6*z^3 - 2*x2^3*x4^6*x5^6*z^3 + 4*x3*x4^6*x5^6*z^3 - 4*x2^2*x3*x4^6*x5^6*z^3 + x2^2*x3^7*x4*z^4 - x2^4*x3^7*x4*z^4 + 6*x2^2*x3^6*x4^2*z^4 - 6*x2^4*x3^6*x4^2*z^4 + x2*x3^7*x4^2*z^4 - x2^3*x3^7*x4^2*z^4 + 15*x2^2*x3^5*x4^3*z^4 - 15*x2^4*x3^5*x4^3*z^4 + 5*x2*x3^6*x4^3*z^4 - 5*x2^3*x3^6*x4^3*z^4 - 2*x2^2*x3^7*x4^3*z^4 + 2*x2^4*x3^7*x4^3*z^4 + 20*x2^2*x3^4*x4^4*z^4 - 20*x2^4*x3^4*x4^4*z^4 + 10*x2*x3^5*x4^4*z^4 - 10*x2^3*x3^5*x4^4*z^4 - 8*x2^2*x3^6*x4^4*z^4 + 8*x2^4*x3^6*x4^4*z^4 + x2*x3^7*x4^4*z^4 - x2^3*x3^7*x4^4*z^4 + 15*x2^2*x3^3*x4^5*z^4 - 15*x2^4*x3^3*x4^5*z^4 + 10*x2*x3^4*x4^5*z^4 - 10*x2^3*x3^4*x4^5*z^4 - 12*x2^2*x3^5*x4^5*z^4 + 12*x2^4*x3^5*x4^5*z^4 + 3*x2*x3^6*x4^5*z^4 - 3*x2^3*x3^6*x4^5*z^4 + 3*x3^7*x4^5*z^4 - 2*x2^2*x3^7*x4^5*z^4 - x2^4*x3^7*x4^5*z^4 + 6*x2^2*x3^2*x4^6*z^4 - 6*x2^4*x3^2*x4^6*z^4 + 5*x2*x3^3*x4^6*z^4 - 5*x2^3*x3^3*x4^6*z^4 - 8*x2^2*x3^4*x4^6*z^4 + 8*x2^4*x3^4*x4^6*z^4 + 3*x2*x3^5*x4^6*z^4 - 3*x2^3*x3^5*x4^6*z^4 + 6*x3^6*x4^6*z^4 - 4*x2^2*x3^6*x4^6*z^4 - 2*x2^4*x3^6*x4^6*z^4 - 2*x2*x3^7*x4^6*z^4 + 2*x2^3*x3^7*x4^6*z^4 + x2^2*x3*x4^7*z^4 - x2^4*x3*x4^7*z^4 + x2*x3^2*x4^7*z^4 - x2^3*x3^2*x4^7*z^4 - 2*x2^2*x3^3*x4^7*z^4 + 2*x2^4*x3^3*x4^7*z^4 + x2*x3^4*x4^7*z^4 - x2^3*x3^4*x4^7*z^4 + 3*x3^5*x4^7*z^4 - 2*x2^2*x3^5*x4^7*z^4 - x2^4*x3^5*x4^7*z^4 - 2*x2*x3^6*x4^7*z^4 + 2*x2^3*x3^6*x4^7*z^4 - 4*x3^7*x4^7*z^4 + 4*x2^2*x3^7*x4^7*z^4 + x2^2*x3^7*x5*z^4 - x2^4*x3^7*x5*z^4 + 13*x2^2*x3^6*x4*x5*z^4 - 13*x2^4*x3^6*x4*x5*z^4 + 3*x2*x3^7*x4*x5*z^4 - 3*x2^3*x3^7*x4*x5*z^4 + 51*x2^2*x3^5*x4^2*x5*z^4 - 51*x2^4*x3^5*x4^2*x5*z^4 + 23*x2*x3^6*x4^2*x5*z^4 - 23*x2^3*x3^6*x4^2*x5*z^4 + x3^7*x4^2*x5*z^4 - 8*x2^2*x3^7*x4^2*x5*z^4 + 7*x2^4*x3^7*x4^2*x5*z^4 + 95*x2^2*x3^4*x4^3*x5*z^4 - 95*x2^4*x3^4*x4^3*x5*z^4 + 65*x2*x3^5*x4^3*x5*z^4 - 65*x2^3*x3^5*x4^3*x5*z^4 + 5*x3^6*x4^3*x5*z^4 - 48*x2^2*x3^6*x4^3*x5*z^4 + 43*x2^4*x3^6*x4^3*x5*z^4 - 5*x2*x3^7*x4^3*x5*z^4 + 5*x2^3*x3^7*x4^3*x5*z^4 + 95*x2^2*x3^3*x4^4*x5*z^4 - 95*x2^4*x3^3*x4^4*x5*z^4 + 90*x2*x3^4*x4^4*x5*z^4 - 90*x2^3*x3^4*x4^4*x5*z^4 + 10*x3^5*x4^4*x5*z^4 - 104*x2^2*x3^5*x4^4*x5*z^4 + 94*x2^4*x3^5*x4^4*x5*z^4 - 17*x2*x3^6*x4^4*x5*z^4 + 17*x2^3*x3^6*x4^4*x5*z^4 + 7*x3^7*x4^4*x5*z^4 - 7*x2^4*x3^7*x4^4*x5*z^4 + 51*x2^2*x3^2*x4^5*x5*z^4 - 51*x2^4*x3^2*x4^5*x5*z^4 + 65*x2*x3^3*x4^5*x5*z^4 - 65*x2^3*x3^3*x4^5*x5*z^4 + 10*x3^4*x4^5*x5*z^4 - 104*x2^2*x3^4*x4^5*x5*z^4 + 94*x2^4*x3^4*x4^5*x5*z^4 - 24*x2*x3^5*x4^5*x5*z^4 + 24*x2^3*x3^5*x4^5*x5*z^4 + 27*x3^6*x4^5*x5*z^4 - 4*x2^2*x3^6*x4^5*x5*z^4 - 23*x2^4*x3^6*x4^5*x5*z^4 - 2*x2*x3^7*x4^5*x5*z^4 + 2*x2^3*x3^7*x4^5*x5*z^4 + 13*x2^2*x3*x4^6*x5*z^4 - 13*x2^4*x3*x4^6*x5*z^4 + 23*x2*x3^2*x4^6*x5*z^4 - 23*x2^3*x3^2*x4^6*x5*z^4 + 5*x3^3*x4^6*x5*z^4 - 48*x2^2*x3^3*x4^6*x5*z^4 + 43*x2^4*x3^3*x4^6*x5*z^4 - 17*x2*x3^4*x4^6*x5*z^4 + 17*x2^3*x3^4*x4^6*x5*z^4 + 27*x3^5*x4^6*x5*z^4 - 4*x2^2*x3^5*x4^6*x5*z^4 - 23*x2^4*x3^5*x4^6*x5*z^4 - 6*x2*x3^6*x4^6*x5*z^4 + 6*x2^3*x3^6*x4^6*x5*z^4 - 17*x3^7*x4^6*x5*z^4 + 16*x2^2*x3^7*x4^6*x5*z^4 + x2^4*x3^7*x4^6*x5*z^4 + x2^2*x4^7*x5*z^4 - x2^4*x4^7*x5*z^4 + 3*x2*x3*x4^7*x5*z^4 - 3*x2^3*x3*x4^7*x5*z^4 + x3^2*x4^7*x5*z^4 - 8*x2^2*x3^2*x4^7*x5*z^4 + 7*x2^4*x3^2*x4^7*x5*z^4 - 5*x2*x3^3*x4^7*x5*z^4 + 5*x2^3*x3^3*x4^7*x5*z^4 + 7*x3^4*x4^7*x5*z^4 - 7*x2^4*x3^4*x4^7*x5*z^4 - 2*x2*x3^5*x4^7*x5*z^4 + 2*x2^3*x3^5*x4^7*x5*z^4 - 17*x3^6*x4^7*x5*z^4 + 16*x2^2*x3^6*x4^7*x5*z^4 + x2^4*x3^6*x4^7*x5*z^4 - 2*x2*x3^7*x4^7*x5*z^4 + 2*x2^3*x3^7*x4^7*x5*z^4 + 6*x2^2*x3^6*x5^2*z^4 - 6*x2^4*x3^6*x5^2*z^4 + x2*x3^7*x5^2*z^4 - x2^3*x3^7*x5^2*z^4 + 51*x2^2*x3^5*x4*x5^2*z^4 - 51*x2^4*x3^5*x4*x5^2*z^4 + 23*x2*x3^6*x4*x5^2*z^4 - 23*x2^3*x3^6*x4*x5^2*z^4 + x3^7*x4*x5^2*z^4 - 8*x2^2*x3^7*x4*x5^2*z^4 + 7*x2^4*x3^7*x4*x5^2*z^4 + 150*x2^2*x3^4*x4^2*x5^2*z^4 - 150*x2^4*x3^4*x4^2*x5^2*z^4 + 111*x2*x3^5*x4^2*x5^2*z^4 - 111*x2^3*x3^5*x4^2*x5^2*z^4 + 11*x3^6*x4^2*x5^2*z^4 - 82*x2^2*x3^6*x4^2*x5^2*z^4 + 71*x2^4*x3^6*x4^2*x5^2*z^4 - 10*x2*x3^7*x4^2*x5^2*z^4 + 10*x2^3*x3^7*x4^2*x5^2*z^4 + 210*x2^2*x3^3*x4^3*x5^2*z^4 - 210*x2^4*x3^3*x4^3*x5^2*z^4 + 225*x2*x3^4*x4^3*x5^2*z^4 - 225*x2^3*x3^4*x4^3*x5^2*z^4 + 35*x3^5*x4^3*x5^2*z^4 - 268*x2^2*x3^5*x4^3*x5^2*z^4 + 233*x2^4*x3^5*x4^3*x5^2*z^4 - 74*x2*x3^6*x4^3*x5^2*z^4 + 74*x2^3*x3^6*x4^3*x5^2*z^4 + 8*x3^7*x4^3*x5^2*z^4 + 8*x2^2*x3^7*x4^3*x5^2*z^4 - 16*x2^4*x3^7*x4^3*x5^2*z^4 + 150*x2^2*x3^2*x4^4*x5^2*z^4 - 150*x2^4*x3^2*x4^4*x5^2*z^4 + 225*x2*x3^3*x4^4*x5^2*z^4 - 225*x2^3*x3^3*x4^4*x5^2*z^4 + 50*x3^4*x4^4*x5^2*z^4 - 388*x2^2*x3^4*x4^4*x5^2*z^4 + 338*x2^4*x3^4*x4^4*x5^2*z^4 - 169*x2*x3^5*x4^4*x5^2*z^4 + 169*x2^3*x3^5*x4^4*x5^2*z^4 + 38*x3^6*x4^4*x5^2*z^4 + 42*x2^2*x3^6*x4^4*x5^2*z^4 - 80*x2^4*x3^6*x4^4*x5^2*z^4 + 7*x2*x3^7*x4^4*x5^2*z^4 - 7*x2^3*x3^7*x4^4*x5^2*z^4 + 51*x2^2*x3*x4^5*x5^2*z^4 - 51*x2^4*x3*x4^5*x5^2*z^4 + 111*x2*x3^2*x4^5*x5^2*z^4 - 111*x2^3*x3^2*x4^5*x5^2*z^4 + 35*x3^3*x4^5*x5^2*z^4 - 268*x2^2*x3^3*x4^5*x5^2*z^4 + 233*x2^4*x3^3*x4^5*x5^2*z^4 - 169*x2*x3^4*x4^5*x5^2*z^4 + 169*x2^3*x3^4*x4^5*x5^2*z^4 + 63*x3^5*x4^5*x5^2*z^4 + 66*x2^2*x3^5*x4^5*x5^2*z^4 - 129*x2^4*x3^5*x4^5*x5^2*z^4 + 29*x2*x3^6*x4^5*x5^2*z^4 - 29*x2^3*x3^6*x4^5*x5^2*z^4 - 35*x3^7*x4^5*x5^2*z^4 + 30*x2^2*x3^7*x4^5*x5^2*z^4 + 5*x2^4*x3^7*x4^5*x5^2*z^4 + 6*x2^2*x4^6*x5^2*z^4 - 6*x2^4*x4^6*x5^2*z^4 + 23*x2*x3*x4^6*x5^2*z^4 - 23*x2^3*x3*x4^6*x5^2*z^4 + 11*x3^2*x4^6*x5^2*z^4 - 82*x2^2*x3^2*x4^6*x5^2*z^4 + 71*x2^4*x3^2*x4^6*x5^2*z^4 - 74*x2*x3^3*x4^6*x5^2*z^4 + 74*x2^3*x3^3*x4^6*x5^2*z^4 + 38*x3^4*x4^6*x5^2*z^4 + 42*x2^2*x3^4*x4^6*x5^2*z^4 - 80*x2^4*x3^4*x4^6*x5^2*z^4 + 29*x2*x3^5*x4^6*x5^2*z^4 - 29*x2^3*x3^5*x4^6*x5^2*z^4 - 59*x3^6*x4^6*x5^2*z^4 + 48*x2^2*x3^6*x4^6*x5^2*z^4 + 11*x2^4*x3^6*x4^6*x5^2*z^4 - 11*x2*x3^7*x4^6*x5^2*z^4 + 11*x2^3*x3^7*x4^6*x5^2*z^4 + x2*x4^7*x5^2*z^4 - x2^3*x4^7*x5^2*z^4 + x3*x4^7*x5^2*z^4 - 8*x2^2*x3*x4^7*x5^2*z^4 + 7*x2^4*x3*x4^7*x5^2*z^4 - 10*x2*x3^2*x4^7*x5^2*z^4 + 10*x2^3*x3^2*x4^7*x5^2*z^4 + 8*x3^3*x4^7*x5^2*z^4 + 8*x2^2*x3^3*x4^7*x5^2*z^4 - 16*x2^4*x3^3*x4^7*x5^2*z^4 + 7*x2*x3^4*x4^7*x5^2*z^4 - 7*x2^3*x3^4*x4^7*x5^2*z^4 - 35*x3^5*x4^7*x5^2*z^4 + 30*x2^2*x3^5*x4^7*x5^2*z^4 + 5*x2^4*x3^5*x4^7*x5^2*z^4 - 11*x2*x3^6*x4^7*x5^2*z^4 + 11*x2^3*x3^6*x4^7*x5^2*z^4 - 2*x3^7*x4^7*x5^2*z^4 + 2*x2^2*x3^7*x4^7*x5^2*z^4 + 15*x2^2*x3^5*x5^3*z^4 - 15*x2^4*x3^5*x5^3*z^4 + 5*x2*x3^6*x5^3*z^4 - 5*x2^3*x3^6*x5^3*z^4 - 2*x2^2*x3^7*x5^3*z^4 + 2*x2^4*x3^7*x5^3*z^4 + 95*x2^2*x3^4*x4*x5^3*z^4 - 95*x2^4*x3^4*x4*x5^3*z^4 + 65*x2*x3^5*x4*x5^3*z^4 - 65*x2^3*x3^5*x4*x5^3*z^4 + 5*x3^6*x4*x5^3*z^4 - 48*x2^2*x3^6*x4*x5^3*z^4 + 43*x2^4*x3^6*x4*x5^3*z^4 - 5*x2*x3^7*x4*x5^3*z^4 + 5*x2^3*x3^7*x4*x5^3*z^4 + 210*x2^2*x3^3*x4^2*x5^3*z^4 - 210*x2^4*x3^3*x4^2*x5^3*z^4 + 225*x2*x3^4*x4^2*x5^3*z^4 - 225*x2^3*x3^4*x4^2*x5^3*z^4 + 35*x3^5*x4^2*x5^3*z^4 - 268*x2^2*x3^5*x4^2*x5^3*z^4 + 233*x2^4*x3^5*x4^2*x5^3*z^4 - 74*x2*x3^6*x4^2*x5^3*z^4 + 74*x2^3*x3^6*x4^2*x5^3*z^4 + 8*x3^7*x4^2*x5^3*z^4 + 8*x2^2*x3^7*x4^2*x5^3*z^4 - 16*x2^4*x3^7*x4^2*x5^3*z^4 + 210*x2^2*x3^2*x4^3*x5^3*z^4 - 210*x2^4*x3^2*x4^3*x5^3*z^4 + 330*x2*x3^3*x4^3*x5^3*z^4 - 330*x2^3*x3^3*x4^3*x5^3*z^4 + 80*x3^4*x4^3*x5^3*z^4 - 586*x2^2*x3^4*x4^3*x5^3*z^4 + 506*x2^4*x3^4*x4^3*x5^3*z^4 - 293*x2*x3^5*x4^3*x5^3*z^4 + 293*x2^3*x3^5*x4^3*x5^3*z^4 + 36*x3^6*x4^3*x5^3*z^4 + 82*x2^2*x3^6*x4^3*x5^3*z^4 - 118*x2^4*x3^6*x4^3*x5^3*z^4 + 15*x2*x3^7*x4^3*x5^3*z^4 - 15*x2^3*x3^7*x4^3*x5^3*z^4 + 95*x2^2*x3*x4^4*x5^3*z^4 - 95*x2^4*x3*x4^4*x5^3*z^4 + 225*x2*x3^2*x4^4*x5^3*z^4 - 225*x2^3*x3^2*x4^4*x5^3*z^4 + 80*x3^3*x4^4*x5^3*z^4 - 586*x2^2*x3^3*x4^4*x5^3*z^4 + 506*x2^4*x3^3*x4^4*x5^3*z^4 - 447*x2*x3^4*x4^4*x5^3*z^4 + 447*x2^3*x3^4*x4^4*x5^3*z^4 + 59*x3^5*x4^4*x5^3*z^4 + 226*x2^2*x3^5*x4^4*x5^3*z^4 - 285*x2^4*x3^5*x4^4*x5^3*z^4 + 101*x2*x3^6*x4^4*x5^3*z^4 - 101*x2^3*x3^6*x4^4*x5^3*z^4 - 46*x3^7*x4^4*x5^3*z^4 + 36*x2^2*x3^7*x4^4*x5^3*z^4 + 10*x2^4*x3^7*x4^4*x5^3*z^4 + 15*x2^2*x4^5*x5^3*z^4 - 15*x2^4*x4^5*x5^3*z^4 + 65*x2*x3*x4^5*x5^3*z^4 - 65*x2^3*x3*x4^5*x5^3*z^4 + 35*x3^2*x4^5*x5^3*z^4 - 268*x2^2*x3^2*x4^5*x5^3*z^4 + 233*x2^4*x3^2*x4^5*x5^3*z^4 - 293*x2*x3^3*x4^5*x5^3*z^4 + 293*x2^3*x3^3*x4^5*x5^3*z^4 + 59*x3^4*x4^5*x5^3*z^4 + 226*x2^2*x3^4*x4^5*x5^3*z^4 - 285*x2^4*x3^4*x4^5*x5^3*z^4 + 182*x2*x3^5*x4^5*x5^3*z^4 - 182*x2^3*x3^5*x4^5*x5^3*z^4 - 95*x3^6*x4^5*x5^3*z^4 + 60*x2^2*x3^6*x4^5*x5^3*z^4 + 35*x2^4*x3^6*x4^5*x5^3*z^4 - 27*x2*x3^7*x4^5*x5^3*z^4 + 27*x2^3*x3^7*x4^5*x5^3*z^4 + 5*x2*x4^6*x5^3*z^4 - 5*x2^3*x4^6*x5^3*z^4 + 5*x3*x4^6*x5^3*z^4 - 48*x2^2*x3*x4^6*x5^3*z^4 + 43*x2^4*x3*x4^6*x5^3*z^4 - 74*x2*x3^2*x4^6*x5^3*z^4 + 74*x2^3*x3^2*x4^6*x5^3*z^4 + 36*x3^3*x4^6*x5^3*z^4 + 82*x2^2*x3^3*x4^6*x5^3*z^4 - 118*x2^4*x3^3*x4^6*x5^3*z^4 + 101*x2*x3^4*x4^6*x5^3*z^4 - 101*x2^3*x3^4*x4^6*x5^3*z^4 - 95*x3^5*x4^6*x5^3*z^4 + 60*x2^2*x3^5*x4^6*x5^3*z^4 + 35*x2^4*x3^5*x4^6*x5^3*z^4 - 53*x2*x3^6*x4^6*x5^3*z^4 + 53*x2^3*x3^6*x4^6*x5^3*z^4 - 8*x3^7*x4^6*x5^3*z^4 + 8*x2^2*x3^7*x4^6*x5^3*z^4 - 2*x2^2*x4^7*x5^3*z^4 + 2*x2^4*x4^7*x5^3*z^4 - 5*x2*x3*x4^7*x5^3*z^4 + 5*x2^3*x3*x4^7*x5^3*z^4 + 8*x3^2*x4^7*x5^3*z^4 + 8*x2^2*x3^2*x4^7*x5^3*z^4 - 16*x2^4*x3^2*x4^7*x5^3*z^4 + 15*x2*x3^3*x4^7*x5^3*z^4 - 15*x2^3*x3^3*x4^7*x5^3*z^4 - 46*x3^4*x4^7*x5^3*z^4 + 36*x2^2*x3^4*x4^7*x5^3*z^4 + 10*x2^4*x3^4*x4^7*x5^3*z^4 - 27*x2*x3^5*x4^7*x5^3*z^4 + 27*x2^3*x3^5*x4^7*x5^3*z^4 - 8*x3^6*x4^7*x5^3*z^4 + 8*x2^2*x3^6*x4^7*x5^3*z^4 + 20*x2^2*x3^4*x5^4*z^4 - 20*x2^4*x3^4*x5^4*z^4 + 10*x2*x3^5*x5^4*z^4 - 10*x2^3*x3^5*x5^4*z^4 - 8*x2^2*x3^6*x5^4*z^4 + 8*x2^4*x3^6*x5^4*z^4 + x2*x3^7*x5^4*z^4 - x2^3*x3^7*x5^4*z^4 + 95*x2^2*x3^3*x4*x5^4*z^4 - 95*x2^4*x3^3*x4*x5^4*z^4 + 90*x2*x3^4*x4*x5^4*z^4 - 90*x2^3*x3^4*x4*x5^4*z^4 + 10*x3^5*x4*x5^4*z^4 - 104*x2^2*x3^5*x4*x5^4*z^4 + 94*x2^4*x3^5*x4*x5^4*z^4 - 17*x2*x3^6*x4*x5^4*z^4 + 17*x2^3*x3^6*x4*x5^4*z^4 + 7*x3^7*x4*x5^4*z^4 - 7*x2^4*x3^7*x4*x5^4*z^4 + 150*x2^2*x3^2*x4^2*x5^4*z^4 - 150*x2^4*x3^2*x4^2*x5^4*z^4 + 225*x2*x3^3*x4^2*x5^4*z^4 - 225*x2^3*x3^3*x4^2*x5^4*z^4 + 50*x3^4*x4^2*x5^4*z^4 - 388*x2^2*x3^4*x4^2*x5^4*z^4 + 338*x2^4*x3^4*x4^2*x5^4*z^4 - 169*x2*x3^5*x4^2*x5^4*z^4 + 169*x2^3*x3^5*x4^2*x5^4*z^4 + 38*x3^6*x4^2*x5^4*z^4 + 42*x2^2*x3^6*x4^2*x5^4*z^4 - 80*x2^4*x3^6*x4^2*x5^4*z^4 + 7*x2*x3^7*x4^2*x5^4*z^4 - 7*x2^3*x3^7*x4^2*x5^4*z^4 + 95*x2^2*x3*x4^3*x5^4*z^4 - 95*x2^4*x3*x4^3*x5^4*z^4 + 225*x2*x3^2*x4^3*x5^4*z^4 - 225*x2^3*x3^2*x4^3*x5^4*z^4 + 80*x3^3*x4^3*x5^4*z^4 - 586*x2^2*x3^3*x4^3*x5^4*z^4 + 506*x2^4*x3^3*x4^3*x5^4*z^4 - 447*x2*x3^4*x4^3*x5^4*z^4 + 447*x2^3*x3^4*x4^3*x5^4*z^4 + 59*x3^5*x4^3*x5^4*z^4 + 226*x2^2*x3^5*x4^3*x5^4*z^4 - 285*x2^4*x3^5*x4^3*x5^4*z^4 + 101*x2*x3^6*x4^3*x5^4*z^4 - 101*x2^3*x3^6*x4^3*x5^4*z^4 - 46*x3^7*x4^3*x5^4*z^4 + 36*x2^2*x3^7*x4^3*x5^4*z^4 + 10*x2^4*x3^7*x4^3*x5^4*z^4 + 20*x2^2*x4^4*x5^4*z^4 - 20*x2^4*x4^4*x5^4*z^4 + 90*x2*x3*x4^4*x5^4*z^4 - 90*x2^3*x3*x4^4*x5^4*z^4 + 50*x3^2*x4^4*x5^4*z^4 - 388*x2^2*x3^2*x4^4*x5^4*z^4 + 338*x2^4*x3^2*x4^4*x5^4*z^4 - 447*x2*x3^3*x4^4*x5^4*z^4 + 447*x2^3*x3^3*x4^4*x5^4*z^4 + 48*x3^4*x4^4*x5^4*z^4 + 378*x2^2*x3^4*x4^4*x5^4*z^4 - 426*x2^4*x3^4*x4^4*x5^4*z^4 + 299*x2*x3^5*x4^4*x5^4*z^4 - 299*x2^3*x3^5*x4^4*x5^4*z^4 - 104*x3^6*x4^4*x5^4*z^4 + 54*x2^2*x3^6*x4^4*x5^4*z^4 + 50*x2^4*x3^6*x4^4*x5^4*z^4 - 36*x2*x3^7*x4^4*x5^4*z^4 + 36*x2^3*x3^7*x4^4*x5^4*z^4 + 10*x2*x4^5*x5^4*z^4 - 10*x2^3*x4^5*x5^4*z^4 + 10*x3*x4^5*x5^4*z^4 - 104*x2^2*x3*x4^5*x5^4*z^4 + 94*x2^4*x3*x4^5*x5^4*z^4 - 169*x2*x3^2*x4^5*x5^4*z^4 + 169*x2^3*x3^2*x4^5*x5^4*z^4 + 59*x3^3*x4^5*x5^4*z^4 + 226*x2^2*x3^3*x4^5*x5^4*z^4 - 285*x2^4*x3^3*x4^5*x5^4*z^4 + 299*x2*x3^4*x4^5*x5^4*z^4 - 299*x2^3*x3^4*x4^5*x5^4*z^4 - 122*x3^5*x4^5*x5^4*z^4 + 42*x2^2*x3^5*x4^5*x5^4*z^4 + 80*x2^4*x3^5*x4^5*x5^4*z^4 - 106*x2*x3^6*x4^5*x5^4*z^4 + 106*x2^3*x3^6*x4^5*x5^4*z^4 - 15*x3^7*x4^5*x5^4*z^4 + 15*x2^2*x3^7*x4^5*x5^4*z^4 - 8*x2^2*x4^6*x5^4*z^4 + 8*x2^4*x4^6*x5^4*z^4 - 17*x2*x3*x4^6*x5^4*z^4 + 17*x2^3*x3*x4^6*x5^4*z^4 + 38*x3^2*x4^6*x5^4*z^4 + 42*x2^2*x3^2*x4^6*x5^4*z^4 - 80*x2^4*x3^2*x4^6*x5^4*z^4 + 101*x2*x3^3*x4^6*x5^4*z^4 - 101*x2^3*x3^3*x4^6*x5^4*z^4 - 104*x3^4*x4^6*x5^4*z^4 + 54*x2^2*x3^4*x4^6*x5^4*z^4 + 50*x2^4*x3^4*x4^6*x5^4*z^4 - 106*x2*x3^5*x4^6*x5^4*z^4 + 106*x2^3*x3^5*x4^6*x5^4*z^4 - 28*x3^6*x4^6*x5^4*z^4 + 28*x2^2*x3^6*x4^6*x5^4*z^4 + x2*x4^7*x5^4*z^4 - x2^3*x4^7*x5^4*z^4 + 7*x3*x4^7*x5^4*z^4 - 7*x2^4*x3*x4^7*x5^4*z^4 + 7*x2*x3^2*x4^7*x5^4*z^4 - 7*x2^3*x3^2*x4^7*x5^4*z^4 - 46*x3^3*x4^7*x5^4*z^4 + 36*x2^2*x3^3*x4^7*x5^4*z^4 + 10*x2^4*x3^3*x4^7*x5^4*z^4 - 36*x2*x3^4*x4^7*x5^4*z^4 + 36*x2^3*x3^4*x4^7*x5^4*z^4 - 15*x3^5*x4^7*x5^4*z^4 + 15*x2^2*x3^5*x4^7*x5^4*z^4 + 15*x2^2*x3^3*x5^5*z^4 - 15*x2^4*x3^3*x5^5*z^4 + 10*x2*x3^4*x5^5*z^4 - 10*x2^3*x3^4*x5^5*z^4 - 12*x2^2*x3^5*x5^5*z^4 + 12*x2^4*x3^5*x5^5*z^4 + 3*x2*x3^6*x5^5*z^4 - 3*x2^3*x3^6*x5^5*z^4 + 3*x3^7*x5^5*z^4 - 2*x2^2*x3^7*x5^5*z^4 - x2^4*x3^7*x5^5*z^4 + 51*x2^2*x3^2*x4*x5^5*z^4 - 51*x2^4*x3^2*x4*x5^5*z^4 + 65*x2*x3^3*x4*x5^5*z^4 - 65*x2^3*x3^3*x4*x5^5*z^4 + 10*x3^4*x4*x5^5*z^4 - 104*x2^2*x3^4*x4*x5^5*z^4 + 94*x2^4*x3^4*x4*x5^5*z^4 - 24*x2*x3^5*x4*x5^5*z^4 + 24*x2^3*x3^5*x4*x5^5*z^4 + 27*x3^6*x4*x5^5*z^4 - 4*x2^2*x3^6*x4*x5^5*z^4 - 23*x2^4*x3^6*x4*x5^5*z^4 - 2*x2*x3^7*x4*x5^5*z^4 + 2*x2^3*x3^7*x4*x5^5*z^4 + 51*x2^2*x3*x4^2*x5^5*z^4 - 51*x2^4*x3*x4^2*x5^5*z^4 + 111*x2*x3^2*x4^2*x5^5*z^4 - 111*x2^3*x3^2*x4^2*x5^5*z^4 + 35*x3^3*x4^2*x5^5*z^4 - 268*x2^2*x3^3*x4^2*x5^5*z^4 + 233*x2^4*x3^3*x4^2*x5^5*z^4 - 169*x2*x3^4*x4^2*x5^5*z^4 + 169*x2^3*x3^4*x4^2*x5^5*z^4 + 63*x3^5*x4^2*x5^5*z^4 + 66*x2^2*x3^5*x4^2*x5^5*z^4 - 129*x2^4*x3^5*x4^2*x5^5*z^4 + 29*x2*x3^6*x4^2*x5^5*z^4 - 29*x2^3*x3^6*x4^2*x5^5*z^4 - 35*x3^7*x4^2*x5^5*z^4 + 30*x2^2*x3^7*x4^2*x5^5*z^4 + 5*x2^4*x3^7*x4^2*x5^5*z^4 + 15*x2^2*x4^3*x5^5*z^4 - 15*x2^4*x4^3*x5^5*z^4 + 65*x2*x3*x4^3*x5^5*z^4 - 65*x2^3*x3*x4^3*x5^5*z^4 + 35*x3^2*x4^3*x5^5*z^4 - 268*x2^2*x3^2*x4^3*x5^5*z^4 + 233*x2^4*x3^2*x4^3*x5^5*z^4 - 293*x2*x3^3*x4^3*x5^5*z^4 + 293*x2^3*x3^3*x4^3*x5^5*z^4 + 59*x3^4*x4^3*x5^5*z^4 + 226*x2^2*x3^4*x4^3*x5^5*z^4 - 285*x2^4*x3^4*x4^3*x5^5*z^4 + 182*x2*x3^5*x4^3*x5^5*z^4 - 182*x2^3*x3^5*x4^3*x5^5*z^4 - 95*x3^6*x4^3*x5^5*z^4 + 60*x2^2*x3^6*x4^3*x5^5*z^4 + 35*x2^4*x3^6*x4^3*x5^5*z^4 - 27*x2*x3^7*x4^3*x5^5*z^4 + 27*x2^3*x3^7*x4^3*x5^5*z^4 + 10*x2*x4^4*x5^5*z^4 - 10*x2^3*x4^4*x5^5*z^4 + 10*x3*x4^4*x5^5*z^4 - 104*x2^2*x3*x4^4*x5^5*z^4 + 94*x2^4*x3*x4^4*x5^5*z^4 - 169*x2*x3^2*x4^4*x5^5*z^4 + 169*x2^3*x3^2*x4^4*x5^5*z^4 + 59*x3^3*x4^4*x5^5*z^4 + 226*x2^2*x3^3*x4^4*x5^5*z^4 - 285*x2^4*x3^3*x4^4*x5^5*z^4 + 299*x2*x3^4*x4^4*x5^5*z^4 - 299*x2^3*x3^4*x4^4*x5^5*z^4 - 122*x3^5*x4^4*x5^5*z^4 + 42*x2^2*x3^5*x4^4*x5^5*z^4 + 80*x2^4*x3^5*x4^4*x5^5*z^4 - 106*x2*x3^6*x4^4*x5^5*z^4 + 106*x2^3*x3^6*x4^4*x5^5*z^4 - 15*x3^7*x4^4*x5^5*z^4 + 15*x2^2*x3^7*x4^4*x5^5*z^4 - 12*x2^2*x4^5*x5^5*z^4 + 12*x2^4*x4^5*x5^5*z^4 - 24*x2*x3*x4^5*x5^5*z^4 + 24*x2^3*x3*x4^5*x5^5*z^4 + 63*x3^2*x4^5*x5^5*z^4 + 66*x2^2*x3^2*x4^5*x5^5*z^4 - 129*x2^4*x3^2*x4^5*x5^5*z^4 + 182*x2*x3^3*x4^5*x5^5*z^4 - 182*x2^3*x3^3*x4^5*x5^5*z^4 - 122*x3^4*x4^5*x5^5*z^4 + 42*x2^2*x3^4*x4^5*x5^5*z^4 + 80*x2^4*x3^4*x4^5*x5^5*z^4 - 159*x2*x3^5*x4^5*x5^5*z^4 + 159*x2^3*x3^5*x4^5*x5^5*z^4 - 41*x3^6*x4^5*x5^5*z^4 + 41*x2^2*x3^6*x4^5*x5^5*z^4 + 3*x2*x4^6*x5^5*z^4 - 3*x2^3*x4^6*x5^5*z^4 + 27*x3*x4^6*x5^5*z^4 - 4*x2^2*x3*x4^6*x5^5*z^4 - 23*x2^4*x3*x4^6*x5^5*z^4 + 29*x2*x3^2*x4^6*x5^5*z^4 - 29*x2^3*x3^2*x4^6*x5^5*z^4 - 95*x3^3*x4^6*x5^5*z^4 + 60*x2^2*x3^3*x4^6*x5^5*z^4 + 35*x2^4*x3^3*x4^6*x5^5*z^4 - 106*x2*x3^4*x4^6*x5^5*z^4 + 106*x2^3*x3^4*x4^6*x5^5*z^4 - 41*x3^5*x4^6*x5^5*z^4 + 41*x2^2*x3^5*x4^6*x5^5*z^4 + 3*x4^7*x5^5*z^4 - 2*x2^2*x4^7*x5^5*z^4 - x2^4*x4^7*x5^5*z^4 - 2*x2*x3*x4^7*x5^5*z^4 + 2*x2^3*x3*x4^7*x5^5*z^4 - 35*x3^2*x4^7*x5^5*z^4 + 30*x2^2*x3^2*x4^7*x5^5*z^4 + 5*x2^4*x3^2*x4^7*x5^5*z^4 - 27*x2*x3^3*x4^7*x5^5*z^4 + 27*x2^3*x3^3*x4^7*x5^5*z^4 - 15*x3^4*x4^7*x5^5*z^4 + 15*x2^2*x3^4*x4^7*x5^5*z^4 + 6*x2^2*x3^2*x5^6*z^4 - 6*x2^4*x3^2*x5^6*z^4 + 5*x2*x3^3*x5^6*z^4 - 5*x2^3*x3^3*x5^6*z^4 - 8*x2^2*x3^4*x5^6*z^4 + 8*x2^4*x3^4*x5^6*z^4 + 3*x2*x3^5*x5^6*z^4 - 3*x2^3*x3^5*x5^6*z^4 + 6*x3^6*x5^6*z^4 - 4*x2^2*x3^6*x5^6*z^4 - 2*x2^4*x3^6*x5^6*z^4 - 2*x2*x3^7*x5^6*z^4 + 2*x2^3*x3^7*x5^6*z^4 + 13*x2^2*x3*x4*x5^6*z^4 - 13*x2^4*x3*x4*x5^6*z^4 + 23*x2*x3^2*x4*x5^6*z^4 - 23*x2^3*x3^2*x4*x5^6*z^4 + 5*x3^3*x4*x5^6*z^4 - 48*x2^2*x3^3*x4*x5^6*z^4 + 43*x2^4*x3^3*x4*x5^6*z^4 - 17*x2*x3^4*x4*x5^6*z^4 + 17*x2^3*x3^4*x4*x5^6*z^4 + 27*x3^5*x4*x5^6*z^4 - 4*x2^2*x3^5*x4*x5^6*z^4 - 23*x2^4*x3^5*x4*x5^6*z^4 - 6*x2*x3^6*x4*x5^6*z^4 + 6*x2^3*x3^6*x4*x5^6*z^4 - 17*x3^7*x4*x5^6*z^4 + 16*x2^2*x3^7*x4*x5^6*z^4 + x2^4*x3^7*x4*x5^6*z^4 + 6*x2^2*x4^2*x5^6*z^4 - 6*x2^4*x4^2*x5^6*z^4 + 23*x2*x3*x4^2*x5^6*z^4 - 23*x2^3*x3*x4^2*x5^6*z^4 + 11*x3^2*x4^2*x5^6*z^4 - 82*x2^2*x3^2*x4^2*x5^6*z^4 + 71*x2^4*x3^2*x4^2*x5^6*z^4 - 74*x2*x3^3*x4^2*x5^6*z^4 + 74*x2^3*x3^3*x4^2*x5^6*z^4 + 38*x3^4*x4^2*x5^6*z^4 + 42*x2^2*x3^4*x4^2*x5^6*z^4 - 80*x2^4*x3^4*x4^2*x5^6*z^4 + 29*x2*x3^5*x4^2*x5^6*z^4 - 29*x2^3*x3^5*x4^2*x5^6*z^4 - 59*x3^6*x4^2*x5^6*z^4 + 48*x2^2*x3^6*x4^2*x5^6*z^4 + 11*x2^4*x3^6*x4^2*x5^6*z^4 - 11*x2*x3^7*x4^2*x5^6*z^4 + 11*x2^3*x3^7*x4^2*x5^6*z^4 + 5*x2*x4^3*x5^6*z^4 - 5*x2^3*x4^3*x5^6*z^4 + 5*x3*x4^3*x5^6*z^4 - 48*x2^2*x3*x4^3*x5^6*z^4 + 43*x2^4*x3*x4^3*x5^6*z^4 - 74*x2*x3^2*x4^3*x5^6*z^4 + 74*x2^3*x3^2*x4^3*x5^6*z^4 + 36*x3^3*x4^3*x5^6*z^4 + 82*x2^2*x3^3*x4^3*x5^6*z^4 - 118*x2^4*x3^3*x4^3*x5^6*z^4 + 101*x2*x3^4*x4^3*x5^6*z^4 - 101*x2^3*x3^4*x4^3*x5^6*z^4 - 95*x3^5*x4^3*x5^6*z^4 + 60*x2^2*x3^5*x4^3*x5^6*z^4 + 35*x2^4*x3^5*x4^3*x5^6*z^4 - 53*x2*x3^6*x4^3*x5^6*z^4 + 53*x2^3*x3^6*x4^3*x5^6*z^4 - 8*x3^7*x4^3*x5^6*z^4 + 8*x2^2*x3^7*x4^3*x5^6*z^4 - 8*x2^2*x4^4*x5^6*z^4 + 8*x2^4*x4^4*x5^6*z^4 - 17*x2*x3*x4^4*x5^6*z^4 + 17*x2^3*x3*x4^4*x5^6*z^4 + 38*x3^2*x4^4*x5^6*z^4 + 42*x2^2*x3^2*x4^4*x5^6*z^4 - 80*x2^4*x3^2*x4^4*x5^6*z^4 + 101*x2*x3^3*x4^4*x5^6*z^4 - 101*x2^3*x3^3*x4^4*x5^6*z^4 - 104*x3^4*x4^4*x5^6*z^4 + 54*x2^2*x3^4*x4^4*x5^6*z^4 + 50*x2^4*x3^4*x4^4*x5^6*z^4 - 106*x2*x3^5*x4^4*x5^6*z^4 + 106*x2^3*x3^5*x4^4*x5^6*z^4 - 28*x3^6*x4^4*x5^6*z^4 + 28*x2^2*x3^6*x4^4*x5^6*z^4 + 3*x2*x4^5*x5^6*z^4 - 3*x2^3*x4^5*x5^6*z^4 + 27*x3*x4^5*x5^6*z^4 - 4*x2^2*x3*x4^5*x5^6*z^4 - 23*x2^4*x3*x4^5*x5^6*z^4 + 29*x2*x3^2*x4^5*x5^6*z^4 - 29*x2^3*x3^2*x4^5*x5^6*z^4 - 95*x3^3*x4^5*x5^6*z^4 + 60*x2^2*x3^3*x4^5*x5^6*z^4 + 35*x2^4*x3^3*x4^5*x5^6*z^4 - 106*x2*x3^4*x4^5*x5^6*z^4 + 106*x2^3*x3^4*x4^5*x5^6*z^4 - 41*x3^5*x4^5*x5^6*z^4 + 41*x2^2*x3^5*x4^5*x5^6*z^4 + 6*x4^6*x5^6*z^4 - 4*x2^2*x4^6*x5^6*z^4 - 2*x2^4*x4^6*x5^6*z^4 - 6*x2*x3*x4^6*x5^6*z^4 + 6*x2^3*x3*x4^6*x5^6*z^4 - 59*x3^2*x4^6*x5^6*z^4 + 48*x2^2*x3^2*x4^6*x5^6*z^4 + 11*x2^4*x3^2*x4^6*x5^6*z^4 - 53*x2*x3^3*x4^6*x5^6*z^4 + 53*x2^3*x3^3*x4^6*x5^6*z^4 - 28*x3^4*x4^6*x5^6*z^4 + 28*x2^2*x3^4*x4^6*x5^6*z^4 - 2*x2*x4^7*x5^6*z^4 + 2*x2^3*x4^7*x5^6*z^4 - 17*x3*x4^7*x5^6*z^4 + 16*x2^2*x3*x4^7*x5^6*z^4 + x2^4*x3*x4^7*x5^6*z^4 - 11*x2*x3^2*x4^7*x5^6*z^4 + 11*x2^3*x3^2*x4^7*x5^6*z^4 - 8*x3^3*x4^7*x5^6*z^4 + 8*x2^2*x3^3*x4^7*x5^6*z^4 + x2^2*x3*x5^7*z^4 - x2^4*x3*x5^7*z^4 + x2*x3^2*x5^7*z^4 - x2^3*x3^2*x5^7*z^4 - 2*x2^2*x3^3*x5^7*z^4 + 2*x2^4*x3^3*x5^7*z^4 + x2*x3^4*x5^7*z^4 - x2^3*x3^4*x5^7*z^4 + 3*x3^5*x5^7*z^4 - 2*x2^2*x3^5*x5^7*z^4 - x2^4*x3^5*x5^7*z^4 - 2*x2*x3^6*x5^7*z^4 + 2*x2^3*x3^6*x5^7*z^4 - 4*x3^7*x5^7*z^4 + 4*x2^2*x3^7*x5^7*z^4 + x2^2*x4*x5^7*z^4 - x2^4*x4*x5^7*z^4 + 3*x2*x3*x4*x5^7*z^4 - 3*x2^3*x3*x4*x5^7*z^4 + x3^2*x4*x5^7*z^4 - 8*x2^2*x3^2*x4*x5^7*z^4 + 7*x2^4*x3^2*x4*x5^7*z^4 - 5*x2*x3^3*x4*x5^7*z^4 + 5*x2^3*x3^3*x4*x5^7*z^4 + 7*x3^4*x4*x5^7*z^4 - 7*x2^4*x3^4*x4*x5^7*z^4 - 2*x2*x3^5*x4*x5^7*z^4 + 2*x2^3*x3^5*x4*x5^7*z^4 - 17*x3^6*x4*x5^7*z^4 + 16*x2^2*x3^6*x4*x5^7*z^4 + x2^4*x3^6*x4*x5^7*z^4 - 2*x2*x3^7*x4*x5^7*z^4 + 2*x2^3*x3^7*x4*x5^7*z^4 + x2*x4^2*x5^7*z^4 - x2^3*x4^2*x5^7*z^4 + x3*x4^2*x5^7*z^4 - 8*x2^2*x3*x4^2*x5^7*z^4 + 7*x2^4*x3*x4^2*x5^7*z^4 - 10*x2*x3^2*x4^2*x5^7*z^4 + 10*x2^3*x3^2*x4^2*x5^7*z^4 + 8*x3^3*x4^2*x5^7*z^4 + 8*x2^2*x3^3*x4^2*x5^7*z^4 - 16*x2^4*x3^3*x4^2*x5^7*z^4 + 7*x2*x3^4*x4^2*x5^7*z^4 - 7*x2^3*x3^4*x4^2*x5^7*z^4 - 35*x3^5*x4^2*x5^7*z^4 + 30*x2^2*x3^5*x4^2*x5^7*z^4 + 5*x2^4*x3^5*x4^2*x5^7*z^4 - 11*x2*x3^6*x4^2*x5^7*z^4 + 11*x2^3*x3^6*x4^2*x5^7*z^4 - 2*x3^7*x4^2*x5^7*z^4 + 2*x2^2*x3^7*x4^2*x5^7*z^4 - 2*x2^2*x4^3*x5^7*z^4 + 2*x2^4*x4^3*x5^7*z^4 - 5*x2*x3*x4^3*x5^7*z^4 + 5*x2^3*x3*x4^3*x5^7*z^4 + 8*x3^2*x4^3*x5^7*z^4 + 8*x2^2*x3^2*x4^3*x5^7*z^4 - 16*x2^4*x3^2*x4^3*x5^7*z^4 + 15*x2*x3^3*x4^3*x5^7*z^4 - 15*x2^3*x3^3*x4^3*x5^7*z^4 - 46*x3^4*x4^3*x5^7*z^4 + 36*x2^2*x3^4*x4^3*x5^7*z^4 + 10*x2^4*x3^4*x4^3*x5^7*z^4 - 27*x2*x3^5*x4^3*x5^7*z^4 + 27*x2^3*x3^5*x4^3*x5^7*z^4 - 8*x3^6*x4^3*x5^7*z^4 + 8*x2^2*x3^6*x4^3*x5^7*z^4 + x2*x4^4*x5^7*z^4 - x2^3*x4^4*x5^7*z^4 + 7*x3*x4^4*x5^7*z^4 - 7*x2^4*x3*x4^4*x5^7*z^4 + 7*x2*x3^2*x4^4*x5^7*z^4 - 7*x2^3*x3^2*x4^4*x5^7*z^4 - 46*x3^3*x4^4*x5^7*z^4 + 36*x2^2*x3^3*x4^4*x5^7*z^4 + 10*x2^4*x3^3*x4^4*x5^7*z^4 - 36*x2*x3^4*x4^4*x5^7*z^4 + 36*x2^3*x3^4*x4^4*x5^7*z^4 - 15*x3^5*x4^4*x5^7*z^4 + 15*x2^2*x3^5*x4^4*x5^7*z^4 + 3*x4^5*x5^7*z^4 - 2*x2^2*x4^5*x5^7*z^4 - x2^4*x4^5*x5^7*z^4 - 2*x2*x3*x4^5*x5^7*z^4 + 2*x2^3*x3*x4^5*x5^7*z^4 - 35*x3^2*x4^5*x5^7*z^4 + 30*x2^2*x3^2*x4^5*x5^7*z^4 + 5*x2^4*x3^2*x4^5*x5^7*z^4 - 27*x2*x3^3*x4^5*x5^7*z^4 + 27*x2^3*x3^3*x4^5*x5^7*z^4 - 15*x3^4*x4^5*x5^7*z^4 + 15*x2^2*x3^4*x4^5*x5^7*z^4 - 2*x2*x4^6*x5^7*z^4 + 2*x2^3*x4^6*x5^7*z^4 - 17*x3*x4^6*x5^7*z^4 + 16*x2^2*x3*x4^6*x5^7*z^4 + x2^4*x3*x4^6*x5^7*z^4 - 11*x2*x3^2*x4^6*x5^7*z^4 + 11*x2^3*x3^2*x4^6*x5^7*z^4 - 8*x3^3*x4^6*x5^7*z^4 + 8*x2^2*x3^3*x4^6*x5^7*z^4 - 4*x4^7*x5^7*z^4 + 4*x2^2*x4^7*x5^7*z^4 - 2*x2*x3*x4^7*x5^7*z^4 + 2*x2^3*x3*x4^7*x5^7*z^4 - 2*x3^2*x4^7*x5^7*z^4 + 2*x2^2*x3^2*x4^7*x5^7*z^4)/(1 - 2*x2*x3*x4*z - 2*x2*x3*x5*z - 2*x2*x4*x5*z - 2*x3*x4*x5*z - x2^2*x3^2*z^2 - 2*x2^2*x3*x4*z^2 - 2*x2*x3^2*x4*z^2 - x2^2*x4^2*z^2 - 2*x2*x3*x4^2*z^2 - x3^2*x4^2*z^2 + x2^2*x3^2*x4^2*z^2 - 2*x2^2*x3*x5*z^2 - 2*x2*x3^2*x5*z^2 - 2*x2^2*x4*x5*z^2 - 6*x2*x3*x4*x5*z^2 - 2*x3^2*x4*x5*z^2 + 2*x2^2*x3^2*x4*x5*z^2 - 2*x2*x4^2*x5*z^2 - 2*x3*x4^2*x5*z^2 + 2*x2^2*x3*x4^2*x5*z^2 + 2*x2*x3^2*x4^2*x5*z^2 - x2^2*x5^2*z^2 - 2*x2*x3*x5^2*z^2 - x3^2*x5^2*z^2 + x2^2*x3^2*x5^2*z^2 - 2*x2*x4*x5^2*z^2 - 2*x3*x4*x5^2*z^2 + 2*x2^2*x3*x4*x5^2*z^2 + 2*x2*x3^2*x4*x5^2*z^2 - x4^2*x5^2*z^2 + x2^2*x4^2*x5^2*z^2 + 2*x2*x3*x4^2*x5^2*z^2 + x3^2*x4^2*x5^2*z^2), {0, 0, 0, 0, 0}}}, OreAlgebraObject[{Der[x2], Der[x3], Der[x4], Der[x5], Der[z]}, Together, Together[#1 + #2] & , Together[#1*#2] & , None], DegreeLexicographic]}}