Q072 :-y^4*z^5*a^12 - 3*x*y^3*z^5*a^12 - 3*x^2*y^2*z^5*a^12 - x^3*y*z^5*a^12 + y^5*z^4*a^12 - 6*x^2*y^3*z^4*a^12 - 8*x^3*y^2*z^4*a^12 - 3*x^4*y*z^4*a^12 + 3*x*y^5*z^3*a^12 + 6*x^2*y^4*z^3*a^12 - 6*x^4*y^2*z^3*a^12 - 3*x^5*y*z^3*a^12 + 3*x^2*y^5*z^2*a^12 + 8*x^3*y^4*z^2*a^12 + 6*x^4*y^3*z^2*a^12 - x^6*y*z^2*a^12 + x^3*y^5*z*a^12 + 3*x^4*y^4*z*a^12 + 3*x^5*y^3*z*a^12 + x^6*y^2*z*a^12 - 2*c^2*x^3*y^6*a^10 + 2*b^2*x^3*z^6*a^10 + 2*b^2*y^3*z^6*a^10 - 5*c^2*y^3*z^6*a^10 + 6*b^2*x*y^2*z^6*a^10 - 10*c^2*x*y^2*z^6*a^10 + 6*b^2*x^2*y*z^6*a^10 - 5*c^2*x^2*y*z^6*a^10 - 8*c^2*x^4*y^5*a^10 + 8*b^2*x^4*z^5*a^10 + 8*b^2*y^4*z^5*a^10 - 10*c^2*y^4*z^5*a^10 + 32*b^2*x*y^3*z^5*a^10 - 39*c^2*x*y^3*z^5*a^10 + 48*b^2*x^2*y^2*z^5*a^10 - 48*c^2*x^2*y^2*z^5*a^10 + 32*b^2*x^3*y*z^5*a^10 - 19*c^2*x^3*y*z^5*a^10 - 13*c^2*x^5*y^4*a^10 + 13*b^2*x^5*z^4*a^10 + 10*b^2*y^5*z^4*a^10 - 8*c^2*y^5*z^4*a^10 + 63*b^2*x*y^4*z^4*a^10 - 63*c^2*x*y^4*z^4*a^10 + 142*b^2*x^2*y^3*z^4*a^10 - 135*c^2*x^2*y^3*z^4*a^10 + 148*b^2*x^3*y^2*z^4*a^10 - 113*c^2*x^3*y^2*z^4*a^10 + 72*b^2*x^4*y*z^4*a^10 - 33*c^2*x^4*y*z^4*a^10 - 11*c^2*x^6*y^3*a^10 + 11*b^2*x^6*z^3*a^10 + 5*b^2*y^6*z^3*a^10 - 2*c^2*y^6*z^3*a^10 + 39*b^2*x*y^5*z^3*a^10 - 32*c^2*x*y^5*z^3*a^10 + 135*b^2*x^2*y^4*z^3*a^10 - 142*c^2*x^2*y^4*z^3*a^10 + 232*b^2*x^3*y^3*z^3*a^10 - 232*c^2*x^3*y^3*z^3*a^10 + 201*b^2*x^4*y^2*z^3*a^10 - 156*c^2*x^4*y^2*z^3*a^10 + 81*b^2*x^5*y*z^3*a^10 - 36*c^2*x^5*y*z^3*a^10 - 5*c^2*x^7*y^2*a^10 + 5*b^2*x^7*z^2*a^10 + 10*b^2*x*y^6*z^2*a^10 - 6*c^2*x*y^6*z^2*a^10 + 48*b^2*x^2*y^5*z^2*a^10 - 48*c^2*x^2*y^5*z^2*a^10 + 113*b^2*x^3*y^4*z^2*a^10 - 148*c^2*x^3*y^4*z^2*a^10 + 156*b^2*x^4*y^3*z^2*a^10 - 201*c^2*x^4*y^3*z^2*a^10 + 120*b^2*x^5*y^2*z^2*a^10 - 120*c^2*x^5*y^2*z^2*a^10 + 44*b^2*x^6*y*z^2*a^10 - 25*c^2*x^6*y*z^2*a^10 + b^2*x^8*z*a^10 + 5*b^2*x^2*y^6*z*a^10 - 6*c^2*x^2*y^6*z*a^10 + 19*b^2*x^3*y^5*z*a^10 - 32*c^2*x^3*y^5*z*a^10 + 33*b^2*x^4*y^4*z*a^10 - 72*c^2*x^4*y^4*z*a^10 + 36*b^2*x^5*y^3*z*a^10 - 81*c^2*x^5*y^3*z*a^10 + 25*b^2*x^6*y^2*z*a^10 - 44*c^2*x^6*y^2*z*a^10 + 9*b^2*x^7*y*z*a^10 - 9*c^2*x^7*y*z*a^10 - 3*c^4*y^2*z^7*a^8 - 3*c^4*x*y*z^7*a^8 + 4*c^4*x^3*y^6*a^8 + 10*b^2*c^2*x^3*y^6*a^8 - 4*b^4*x^3*z^6*a^8 - 10*b^2*c^2*x^3*z^6*a^8 - 4*b^4*y^3*z^6*a^8 - 5*c^4*y^3*z^6*a^8 - 3*b^2*c^2*y^3*z^6*a^8 - 12*b^4*x*y^2*z^6*a^8 - 4*c^4*x*y^2*z^6*a^8 - 16*b^2*c^2*x*y^2*z^6*a^8 - 12*b^4*x^2*y*z^6*a^8 + c^4*x^2*y*z^6*a^8 - 23*b^2*c^2*x^2*y*z^6*a^8 + 19*c^4*x^4*y^5*a^8 + 40*b^2*c^2*x^4*y^5*a^8 - 19*b^4*x^4*z^5*a^8 - 40*b^2*c^2*x^4*z^5*a^8 - 10*b^4*y^4*z^5*a^8 + 5*c^4*y^4*z^5*a^8 - 4*b^2*c^2*y^4*z^5*a^8 - 49*b^4*x*y^3*z^5*a^8 + 15*c^4*x*y^3*z^5*a^8 - 31*b^2*c^2*x*y^3*z^5*a^8 - 87*b^4*x^2*y^2*z^5*a^8 + 42*c^4*x^2*y^2*z^5*a^8 - 90*b^2*c^2*x^2*y^2*z^5*a^8 - 67*b^4*x^3*y*z^5*a^8 + 32*c^4*x^3*y*z^5*a^8 - 103*b^2*c^2*x^3*y*z^5* a^8 + 32*c^4*x^5*y^4*a^8 + 65*b^2*c^2*x^5*y^4*a^8 - 32*b^4*x^5*z^4*a^8 - 65*b^2*c^2*x^5*z^4*a^8 - 5*b^4*y^5*z^4*a^8 + 10*c^4*y^5*z^4*a^8 + 4*b^2*c^2*y^5*z^4*a^8 - 60*b^4*x*y^4*z^4*a^8 + 60*c^4*x*y^4*z^4*a^8 - 182*b^4*x^2*y^3*z^4*a^8 + 153*c^4*x^2*y^3*z^4*a^8 - 83*b^2*c^2*x^2*y^3*z^4*a^8 - 236*b^4*x^3*y^2*z^4*a^8 + 178*c^4*x^3*y^2*z^4*a^8 - 215*b^2*c^2*x^3*y^2*z^4*a^8 - 141*b^4*x^4*y*z^4*a^8 + 75*c^4*x^4*y*z^4*a^8 - 201*b^2*c^2*x^4*y*z^4*a^8 + 25*c^4*x^6*y^3*a^8 + 55*b^2*c^2*x^6*y^3*a^8 - 25*b^4*x^6*z^3*a^8 - 55*b^2*c^2*x^6*z^3*a^8 + 5*b^4*y^6*z^3*a^8 + 4*c^4*y^6*z^3*a^8 + 3*b^2*c^2*y^6*z^3*a^8 - 15*b^4*x*y^5*z^3*a^8 + 49*c^4*x*y^5*z^3*a^8 + 31*b^2*c^2*x*y^5*z^3* a^8 - 153*b^4*x^2*y^4*z^3*a^8 + 182*c^4*x^2*y^4*z^3*a^8 + 83*b^2*c^2*x^2*y^4*z^3*a^8 - 344*b^4*x^3*y^3*z^3*a^8 + 344*c^4*x^3*y^3*z^3*a^8 - 339*b^4*x^4*y^2*z^3*a^8 + 297*c^4*x^4*y^2*z^3*a^8 - 195*b^2*c^2*x^4*y^2*z^3*a^8 - 153*b^4*x^5*y*z^3*a^8 + 90*c^4*x^5*y*z^3*a^8 - 195*b^2*c^2*x^5*y*z^3*a^8 + 10*c^4*x^7*y^2*a^8 + 25*b^2*c^2*x^7*y^2*a^8 - 10*b^4*x^7*z^2*a^8 - 25*b^2*c^2*x^7*z^2*a^8 + 3*b^4*y^7*z^2*a^8 + 4*b^4*x*y^6*z^2*a^8 + 12*c^4*x*y^6*z^2*a^8 + 16*b^2*c^2*x*y^6*z^2*a^8 - 42*b^4*x^2*y^5*z^2*a^8 + 87*c^4*x^2*y^5*z^2*a^8 + 90*b^2*c^2*x^2*y^5*z^2*a^8 - 178*b^4*x^3*y^4*z^2*a^8 + 236*c^4*x^3*y^4*z^2*a^8 + 215*b^2*c^2*x^3*y^4*z^2*a^8 - 297*b^4*x^4*y^3*z^2*a^8 + 339*c^4*x^4*y^3*z^2*a^8 + 195*b^2*c^2*x^4*y^3*z^2*a^8 - 240*b^4*x^5*y^2*z^2*a^8 + 240*c^4*x^5*y^2*z^2*a^8 - 88*b^4*x^6*y*z^2*a^8 + 62*c^4*x^6*y*z^2*a^8 - 79*b^2*c^2*x^6*y*z^2* a^8 + 2*c^4*x^8*y*a^8 + 5*b^2*c^2*x^8*y*a^8 - 2*b^4*x^8*z*a^8 - 5*b^2*c^2*x^8*z*a^8 + 3*b^4*x*y^7*z*a^8 - b^4*x^2*y^6*z*a^8 + 12*c^4*x^2*y^6*z*a^8 + 23*b^2*c^2*x^2*y^6*z*a^8 - 32*b^4*x^3*y^5*z*a^8 + 67*c^4*x^3*y^5*z*a^8 + 103*b^2*c^2*x^3*y^5*z* a^8 - 75*b^4*x^4*y^4*z*a^8 + 141*c^4*x^4*y^4*z*a^8 + 201*b^2*c^2*x^4*y^4*z*a^8 - 90*b^4*x^5*y^3*z*a^8 + 153*c^4*x^5*y^3*z*a^8 + 195*b^2*c^2*x^5*y^3*z*a^8 - 62*b^4*x^6*y^2*z*a^8 + 88*c^4*x^6*y^2*z*a^8 + 79*b^2*c^2*x^6*y^2*z* a^8 - 21*b^4*x^7*y*z*a^8 + 21*c^4*x^7*y*z*a^8 - 6*b^4*c^2*x*y^8*a^6 + 6*b^2*c^4*x*z^8*a^6 + c^6*y*z^8*a^6 + 6*b^2*c^4*y*z^8*a^6 - 36*b^4*c^2*x^2*y^7*a^6 + 36*b^2*c^4*x^2*z^7*a^6 + 8*c^6*y^2*z^7*a^6 + 30*b^2*c^4*y^2*z^7*a^6 + 15*c^6*x*y*z^7*a^6 + 66*b^2*c^4*x*y*z^7*a^6 + 7*b^2*c^4*x^3*y^6*a^6 - 110*b^4*c^2*x^3*y^6*a^6 + 110*b^2*c^4*x^3*z^6*a^6 - 7*b^4*c^2*x^3*z^6*a^6 + 24*c^6*y^3*z^6*a^6 + 57*b^2*c^4*y^3*z^6*a^6 - 9*b^4*c^2*y^3*z^6*a^6 + 59*c^6*x*y^2*z^6*a^6 + 248*b^2*c^4*x*y^2*z^6*a^6 - 25*b^4*c^2*x*y^2*z^6*a^6 + 40*c^6*x^2*y*z^6*a^6 + 301*b^2*c^4*x^2*y*z^6*a^6 - 23*b^4*c^2*x^2*y*z^6*a^6 - 8*c^6*x^4*y^5*a^6 + 16*b^2*c^4*x^4*y^5*a^6 - 200*b^4*c^2*x^4*y^5*a^6 + 8*b^6*x^4*z^5*a^6 + 200*b^2*c^4*x^4*z^5*a^6 - 16*b^4*c^2*x^4*z^5*a^6 - 8*b^6*y^4*z^5*a^6 + 25*c^6*y^4*z^5*a^6 + 66*b^2*c^4*y^4*z^5*a^6 - 42*b^4*c^2*y^4*z^5*a^6 - 16*b^6*x*y^3*z^5*a^6 + 102*c^6*x*y^3*z^5*a^6 + 419*b^2*c^4*x*y^3*z^5*a^6 - 160*b^4*c^2*x*y^3*z^5*a^6 + 129*c^6*x^2*y^2*z^5*a^6 + 840*b^2*c^4*x^2*y^2*z^5*a^6 - 210*b^4*c^2*x^2*y^2*z^5*a^6 + 16*b^6*x^3*y*z^5*a^6 + 39*c^6*x^3*y*z^5*a^6 + 687*b^2*c^4*x^3*y*z^5*a^6 - 108*b^4*c^2*x^3*y*z^5*a^6 - 25*c^6*x^5*y^4*a^6 + 17*b^2*c^4*x^5*y^4*a^6 - 220*b^4*c^2*x^5*y^4*a^6 + 25*b^6*x^5*z^4*a^6 + 220*b^2*c^4*x^5*z^4*a^6 - 17*b^4*c^2*x^5*z^4*a^6 - 25*b^6*y^5*z^4*a^6 + 8*c^6*y^5*z^4*a^6 + 42*b^2*c^4*y^5*z^4*a^6 - 66*b^4*c^2*y^5*z^4*a^6 - 75*b^6*x*y^4*z^4*a^6 + 75*c^6*x*y^4*z^4*a^6 + 363*b^2*c^4*x*y^4*z^4* a^6 - 363*b^4*c^2*x*y^4*z^4*a^6 - 50*b^6*x^2*y^3*z^4*a^6 + 132*c^6*x^2*y^3*z^4*a^6 + 1117*b^2*c^4*x^2*y^3*z^4*a^6 - 722*b^4*c^2*x^2*y^3*z^4*a^6 + 50*b^6*x^3*y^2*z^4*a^6 + 78*c^6*x^3*y^2*z^4*a^6 + 1479*b^2*c^4*x^3*y^2*z^4*a^6 - 636*b^4*c^2*x^3*y^2*z^4*a^6 + 75*b^6*x^4*y*z^4*a^6 + 903*b^2*c^4*x^4*y*z^4*a^6 - 228*b^4*c^2*x^4*y*z^4*a^6 - 24*c^6*x^6*y^3*a^6 + 13*b^2*c^4*x^6*y^3*a^6 - 146*b^4*c^2*x^6*y^3*a^6 + 24*b^6*x^6*z^3*a^6 + 146*b^2*c^4*x^6*z^3*a^6 - 13*b^4*c^2*x^6*z^3*a^6 - 24*b^6*y^6*z^3*a^6 + 9*b^2*c^4*y^6*z^3*a^6 - 57*b^4*c^2*y^6*z^3*a^6 - 102*b^6*x*y^5*z^3*a^6 + 16*c^6*x*y^5*z^3*a^6 + 160*b^2*c^4*x*y^5*z^3*a^6 - 419*b^4*c^2*x*y^5*z^3*a^6 - 132*b^6*x^2*y^4*z^3*a^6 + 50*c^6*x^2*y^4*z^3*a^6 + 722*b^2*c^4*x^2*y^4*z^3*a^6 - 1117*b^4*c^2*x^2*y^4*z^3*a^6 + 1416*b^2*c^4*x^3*y^3*z^3*a^6 - 1416*b^4*c^2*x^3*y^3*z^3*a^6 + 132*b^6*x^4*y^2*z^3*a^6 - 78*c^6*x^4*y^2*z^3*a^6 + 1401*b^2*c^4*x^4*y^2*z^3*a^6 - 885*b^4*c^2*x^4*y^2*z^3*a^6 + 102*b^6*x^5*y*z^3*a^6 - 39*c^6*x^5*y*z^3*a^6 + 702*b^2*c^4*x^5*y*z^3*a^6 - 237*b^4*c^2*x^5*y*z^3*a^6 - 8*c^6*x^7*y^2*a^6 + 4*b^2*c^4*x^7*y^2*a^6 - 56*b^4*c^2*x^7*y^2*a^6 + 8*b^6*x^7*z^2*a^6 + 56*b^2*c^4*x^7*z^2*a^6 - 4*b^4*c^2*x^7*z^2*a^6 - 8*b^6*y^7*z^2*a^6 - 30*b^4*c^2*y^7*z^2*a^6 - 59*b^6*x*y^6*z^2*a^6 + 25*b^2*c^4*x*y^6*z^2*a^6 - 248*b^4*c^2*x*y^6*z^2*a^6 - 129*b^6*x^2*y^5*z^2*a^6 + 210*b^2*c^4*x^2*y^5*z^2*a^6 - 840*b^4*c^2*x^2*y^5*z^2*a^6 - 78*b^6*x^3*y^4*z^2*a^6 - 50*c^6*x^3*y^4*z^2*a^6 + 636*b^2*c^4*x^3*y^4*z^2*a^6 - 1479*b^4*c^2*x^3*y^4*z^2*a^6 + 78*b^6*x^4*y^3*z^2*a^6 - 132*c^6*x^4*y^3*z^2*a^6 + 885*b^2*c^4*x^4*y^3*z^2*a^6 - 1401*b^4*c^2*x^4*y^3*z^2*a^6 + 129*b^6*x^5*y^2*z^2*a^6 - 129*c^6*x^5*y^2*z^2*a^6 + 669*b^2*c^4*x^5*y^2*z^2*a^6 - 669*b^4*c^2*x^5*y^2*z^2*a^6 + 59*b^6*x^6*y*z^2*a^6 - 40*c^6*x^6*y*z^2*a^6 + 291*b^2*c^4*x^6*y*z^2*a^6 - 129*b^4*c^2*x^6*y*z^2*a^6 - c^6*x^8*y*a^6 - b^2*c^4*x^8*y*a^6 - 10*b^4*c^2*x^8*y*a^6 + b^6*x^8*z*a^6 + 10*b^2*c^4*x^8*z*a^6 + b^4*c^2*x^8*z*a^6 - b^6*y^8*z*a^6 - 6*b^4*c^2*y^8*z*a^6 - 15*b^6*x*y^7*z*a^6 - 66*b^4*c^2*x*y^7*z*a^6 - 40*b^6*x^2*y^6*z*a^6 + 23*b^2*c^4*x^2*y^6*z*a^6 - 301*b^4*c^2*x^2*y^6*z*a^6 - 39*b^6*x^3*y^5*z*a^6 - 16*c^6*x^3*y^5*z*a^6 + 108*b^2*c^4*x^3*y^5*z* a^6 - 687*b^4*c^2*x^3*y^5*z*a^6 - 75*c^6*x^4*y^4*z*a^6 + 228*b^2*c^4*x^4*y^4*z*a^6 - 903*b^4*c^2*x^4*y^4*z*a^6 + 39*b^6*x^5*y^3*z*a^6 - 102*c^6*x^5*y^3*z*a^6 + 237*b^2*c^4*x^5*y^3*z*a^6 - 702*b^4*c^2*x^5*y^3*z*a^6 + 40*b^6*x^6*y^2*z*a^6 - 59*c^6*x^6*y^2*z*a^6 + 129*b^2*c^4*x^6*y^2*z* a^6 - 291*b^4*c^2*x^6*y^2*z*a^6 + 15*b^6*x^7*y*z*a^6 - 15*c^6*x^7*y*z*a^6 + 45*b^2*c^4*x^7*y*z*a^6 - 45*b^4*c^2*x^7*y*z*a^6 + 10*b^6*c^2*x*y^8*a^4 - 10*b^2*c^6*x*z^8*a^4 - 2*c^8*y*z^8*a^4 + b^2*c^6*y*z^8*a^4 + 9*b^4*c^4*x^2*y^7*a^4 + 56*b^6*c^2*x^2*y^7*a^4 - 56*b^2*c^6*x^2*z^7*a^4 - 9*b^4*c^4*x^2*z^7*a^4 - 10*c^8*y^2*z^7*a^4 - 4*b^2*c^6*y^2*z^7*a^4 + 9*b^4*c^4*y^2*z^7*a^4 - 21*c^8*x*y*z^7*a^4 - 45*b^2*c^6*x*y*z^7*a^4 - 4*c^8*x^3*y^6*a^4 - 9*b^2*c^6*x^3*y^6*a^4 + 18*b^4*c^4*x^3*y^6*a^4 + 146*b^6*c^2*x^3*y^6*a^4 + 4*b^8*x^3*z^6*a^4 - 146*b^2*c^6*x^3*z^6*a^4 - 18*b^4*c^4*x^3*z^6*a^4 + 9*b^6*c^2*x^3*z^6*a^4 + 4*b^8*y^3*z^6*a^4 - 25*c^8*y^3*z^6*a^4 - 13*b^2*c^6*y^3*z^6*a^4 + 18*b^4*c^4*y^3*z^6*a^4 + 7*b^6*c^2*y^3*z^6*a^4 + 12*b^8*x*y^2*z^6*a^4 - 88*c^8*x*y^2*z^6*a^4 - 129*b^2*c^6*x*y^2*z^6*a^4 + 18*b^4*c^4*x*y^2*z^6*a^4 + 23*b^6*c^2*x*y^2*z^6*a^4 + 12*b^8*x^2*y*z^6*a^4 - 62*c^8*x^2*y*z^6*a^4 - 291*b^2*c^6*x^2*y*z^6*a^4 - 18*b^4*c^4*x^2*y*z^6*a^4 + 25*b^6*c^2*x^2*y*z^6*a^4 - 10*c^8*x^4*y^5*a^4 - 42*b^2*c^6*x^4*y^5*a^4 + 9*b^4*c^4*x^4*y^5*a^4 + 220*b^6*c^2*x^4*y^5*a^4 + 10*b^8*x^4*z^5*a^4 - 220*b^2*c^6*x^4*z^5*a^4 - 9*b^4*c^4*x^4*z^5*a^4 + 42*b^6*c^2*x^4*z^5*a^4 + 19*b^8*y^4*z^5*a^4 - 32*c^8*y^4*z^5*a^4 - 17*b^2*c^6*y^4*z^5*a^4 + 9*b^4*c^4*y^4*z^5*a^4 + 16*b^6*c^2*y^4*z^5*a^4 + 67*b^8*x*y^3*z^5*a^4 - 153*c^8*x*y^3*z^5*a^4 - 237*b^2*c^6*x*y^3*z^5*a^4 + 45*b^4*c^4*x*y^3*z^5*a^4 + 108*b^6*c^2*x*y^3*z^5*a^4 + 87*b^8*x^2*y^2*z^5*a^4 - 240*c^8*x^2*y^2*z^5*a^4 - 669*b^2*c^6*x^2*y^2*z^5*a^4 + 210*b^6*c^2*x^2*y^2*z^5*a^4 + 49*b^8*x^3*y*z^5*a^4 - 90*c^8*x^3*y*z^5*a^4 - 702*b^2*c^6*x^3*y*z^5*a^4 - 45*b^4*c^4*x^3*y*z^5*a^4 + 160*b^6*c^2*x^3*y*z^5*a^4 - 5*c^8*x^5*y^4*a^4 - 66*b^2*c^6*x^5*y^4*a^4 - 9*b^4*c^4*x^5*y^4*a^4 + 200*b^6*c^2*x^5*y^4*a^4 + 5*b^8*x^5*z^4*a^4 - 200*b^2*c^6*x^5*z^4*a^4 + 9*b^4*c^4*x^5*z^4*a^4 + 66*b^6*c^2*x^5*z^4*a^4 + 32*b^8*y^5*z^4*a^4 - 19*c^8*y^5*z^4*a^4 - 16*b^2*c^6*y^5*z^4*a^4 - 9*b^4*c^4*y^5*z^4*a^4 + 17*b^6*c^2*y^5*z^4*a^4 + 141*b^8*x*y^4*z^4*a^4 - 141*c^8*x*y^4*z^4*a^4 - 228*b^2*c^6*x*y^4*z^4*a^4 + 228*b^6*c^2*x*y^4*z^4*a^4 + 236*b^8*x^2*y^3*z^4*a^4 - 339*c^8*x^2*y^3*z^4*a^4 - 885*b^2*c^6*x^2*y^3*z^4*a^4 + 9*b^4*c^4*x^2*y^3*z^4*a^4 + 636*b^6*c^2*x^2*y^3*z^4*a^4 + 182*b^8*x^3*y^2*z^4*a^4 - 297*c^8*x^3*y^2*z^4*a^4 - 1401*b^2*c^6*x^3*y^2*z^4*a^4 - 9*b^4*c^4*x^3*y^2*z^4*a^4 + 722*b^6*c^2*x^3*y^2*z^4*a^4 + 60*b^8*x^4*y*z^4*a^4 - 75*c^8*x^4*y*z^4*a^4 - 903*b^2*c^6*x^4*y*z^4*a^4 + 363*b^6*c^2*x^4*y*z^4*a^4 + 5*c^8*x^6*y^3*a^4 - 57*b^2*c^6*x^6*y^3*a^4 - 18*b^4*c^4*x^6*y^3*a^4 + 110*b^6*c^2*x^6*y^3*a^4 - 5*b^8*x^6*z^3*a^4 - 110*b^2*c^6*x^6*z^3*a^4 + 18*b^4*c^4*x^6*z^3*a^4 + 57*b^6*c^2*x^6*z^3*a^4 + 25*b^8*y^6*z^3*a^4 - 4*c^8*y^6*z^3*a^4 - 7*b^2*c^6*y^6*z^3*a^4 - 18*b^4*c^4*y^6*z^3*a^4 + 13*b^6*c^2*y^6*z^3*a^4 + 153*b^8*x*y^5*z^3*a^4 - 67*c^8*x*y^5*z^3*a^4 - 108*b^2*c^6*x*y^5*z^3*a^4 - 45*b^4*c^4*x*y^5*z^3*a^4 + 237*b^6*c^2*x*y^5*z^3*a^4 + 339*b^8*x^2*y^4*z^3*a^4 - 236*c^8*x^2*y^4*z^3*a^4 - 636*b^2*c^6*x^2*y^4*z^3*a^4 - 9*b^4*c^4*x^2*y^4*z^3*a^4 + 885*b^6*c^2*x^2*y^4*z^3*a^4 + 344*b^8*x^3*y^3*z^3*a^4 - 344*c^8*x^3*y^3*z^3*a^4 - 1416*b^2*c^6*x^3*y^3*z^3*a^4 + 1416*b^6*c^2*x^3*y^3*z^3*a^4 + 153*b^8*x^4*y^2*z^3*a^4 - 178*c^8*x^4*y^2*z^3*a^4 - 1479*b^2*c^6*x^4*y^2*z^3*a^4 + 9*b^4*c^4*x^4*y^2*z^3*a^4 + 1117*b^6*c^2*x^4*y^2*z^3*a^4 + 15*b^8*x^5*y*z^3*a^4 - 32*c^8*x^5*y*z^3*a^4 - 687*b^2*c^6*x^5*y*z^3*a^4 + 45*b^4*c^4*x^5*y*z^3*a^4 + 419*b^6*c^2*x^5*y*z^3*a^4 + 3*c^8*x^7*y^2*a^4 - 30*b^2*c^6*x^7*y^2*a^4 - 9*b^4*c^4*x^7*y^2*a^4 + 36*b^6*c^2*x^7*y^2*a^4 - 3*b^8*x^7*z^2*a^4 - 36*b^2*c^6*x^7*z^2*a^4 + 9*b^4*c^4*x^7*z^2*a^4 + 30*b^6*c^2*x^7*z^2*a^4 + 10*b^8*y^7*z^2*a^4 - 9*b^4*c^4*y^7*z^2*a^4 + 4*b^6*c^2*y^7*z^2*a^4 + 88*b^8*x*y^6*z^2*a^4 - 12*c^8*x*y^6*z^2*a^4 - 23*b^2*c^6*x*y^6*z^2*a^4 - 18*b^4*c^4*x*y^6*z^2*a^4 + 129*b^6*c^2*x*y^6*z^2*a^4 + 240*b^8*x^2*y^5*z^2*a^4 - 87*c^8*x^2*y^5*z^2*a^4 - 210*b^2*c^6*x^2*y^5*z^2*a^4 + 669*b^6*c^2*x^2*y^5*z^2*a^4 + 297*b^8*x^3*y^4*z^2*a^4 - 182*c^8*x^3*y^4*z^2*a^4 - 722*b^2*c^6*x^3*y^4*z^2*a^4 + 9*b^4*c^4*x^3*y^4*z^2*a^4 + 1401*b^6*c^2*x^3*y^4*z^2*a^4 + 178*b^8*x^4*y^3*z^2*a^4 - 153*c^8*x^4*y^3*z^2*a^4 - 1117*b^2*c^6*x^4*y^3*z^2*a^4 - 9*b^4*c^4*x^4*y^3*z^2*a^4 + 1479*b^6*c^2*x^4*y^3*z^2*a^4 + 42*b^8*x^5*y^2*z^2*a^4 - 42*c^8*x^5*y^2*z^2*a^4 - 840*b^2*c^6*x^5*y^2*z^2*a^4 + 840*b^6*c^2*x^5*y^2*z^2*a^4 - 4*b^8*x^6*y*z^2*a^4 - c^8*x^6*y*z^2*a^4 - 301*b^2*c^6*x^6*y*z^2*a^4 + 18*b^4*c^4*x^6*y*z^2*a^4 + 248*b^6*c^2*x^6*y*z^2*a^4 - 6*b^2*c^6*x^8*y*a^4 + 6*b^6*c^2*x^8*y*a^4 - 6*b^2*c^6*x^8*z*a^4 + 6*b^6*c^2*x^8*z*a^4 + 2*b^8*y^8*z*a^4 - b^6*c^2*y^8*z*a^4 + 21*b^8*x*y^7*z*a^4 + 45*b^6*c^2*x*y^7*z*a^4 + 62*b^8*x^2*y^6*z*a^4 - 12*c^8*x^2*y^6*z*a^4 - 25*b^2*c^6*x^2*y^6*z*a^4 + 18*b^4*c^4*x^2*y^6*z*a^4 + 291*b^6*c^2*x^2*y^6*z*a^4 + 90*b^8*x^3*y^5*z*a^4 - 49*c^8*x^3*y^5*z*a^4 - 160*b^2*c^6*x^3*y^5*z* a^4 + 45*b^4*c^4*x^3*y^5*z*a^4 + 702*b^6*c^2*x^3*y^5*z*a^4 + 75*b^8*x^4*y^4*z*a^4 - 60*c^8*x^4*y^4*z*a^4 - 363*b^2*c^6*x^4*y^4*z* a^4 + 903*b^6*c^2*x^4*y^4*z*a^4 + 32*b^8*x^5*y^3*z*a^4 - 15*c^8*x^5*y^3*z*a^4 - 419*b^2*c^6*x^5*y^3*z*a^4 - 45*b^4*c^4*x^5*y^3*z*a^4 + 687*b^6*c^2*x^5*y^3*z*a^4 + b^8*x^6*y^2*z*a^4 + 4*c^8*x^6*y^2*z*a^4 - 248*b^2*c^6*x^6*y^2*z*a^4 - 18*b^4*c^4*x^6*y^2*z*a^4 + 301*b^6*c^2*x^6*y^2*z*a^4 - 3*b^8*x^7*y*z*a^4 + 3*c^8*x^7*y*z*a^4 - 66*b^2*c^6*x^7*y*z*a^4 + 66*b^6*c^2*x^7*y*z*a^4 + 6*b^4*c^6*x*y^8*a^2 + b^6*c^4*x*y^8*a^2 - 5*b^8*c^2*x*y^8*a^2 + 5*b^2*c^8*x*z^8*a^2 - b^4*c^6*x*z^8*a^2 - 6*b^6*c^4*x*z^8*a^2 + c^10*y*z^8*a^2 - 5*b^2*c^8*y*z^8*a^2 + 10*b^4*c^6*y*z^8*a^2 - 6*b^6*c^4*y*z^8*a^2 + 30*b^4*c^6*x^2*y^7*a^2 - 4*b^6*c^4*x^2*y^7*a^2 - 25*b^8*c^2*x^2*y^7*a^2 + 25*b^2*c^8*x^2*z^7*a^2 + 4*b^4*c^6*x^2*z^7*a^2 - 30*b^6*c^4*x^2*z^7*a^2 + 5*c^10*y^2*z^7*a^2 - 25*b^2*c^8*y^2*z^7*a^2 + 56*b^4*c^6*y^2*z^7*a^2 - 36*b^6*c^4*y^2*z^7*a^2 + 9*c^10*x*y*z^7*a^2 + 45*b^4*c^6*x*y*z^7*a^2 - 66*b^6*c^4*x*y*z^7*a^2 + 2*c^10*x^3*y^6*a^2 - 3*b^2*c^8*x^3*y^6*a^2 + 57*b^4*c^6*x^3*y^6*a^2 - 13*b^6*c^4*x^3*y^6*a^2 - 55*b^8*c^2*x^3*y^6*a^2 - 2*b^10*x^3*z^6*a^2 + 55*b^2*c^8*x^3*z^6*a^2 + 13*b^4*c^6*x^3*z^6*a^2 - 57*b^6*c^4*x^3*z^6*a^2 + 3*b^8*c^2*x^3*z^6*a^2 - 2*b^10*y^3*z^6*a^2 + 11*c^10*y^3*z^6*a^2 - 55*b^2*c^8*y^3*z^6*a^2 + 146*b^4*c^6*y^3*z^6*a^2 - 110*b^6*c^4*y^3*z^6*a^2 + 10*b^8*c^2*y^3*z^6*a^2 - 6*b^10*x*y^2*z^6*a^2 + 44*c^10*x*y^2*z^6*a^2 - 79*b^2*c^8*x*y^2*z^6*a^2 + 291*b^4*c^6*x*y^2*z^6*a^2 - 301*b^6*c^4*x*y^2*z^6*a^2 + 23*b^8*c^2*x*y^2*z^6*a^2 - 6*b^10*x^2*y*z^6*a^2 + 25*c^10*x^2*y*z^6*a^2 + 79*b^2*c^8*x^2*y*z^6*a^2 + 129*b^4*c^6*x^2*y*z^6*a^2 - 248*b^6*c^4*x^2*y*z^6*a^2 + 16*b^8*c^2*x^2*y*z^6*a^2 + 8*c^10*x^4*y^5*a^2 - 4*b^2*c^8*x^4*y^5*a^2 + 66*b^4*c^6*x^4*y^5*a^2 - 17*b^6*c^4*x^4*y^5*a^2 - 65*b^8*c^2*x^4*y^5*a^2 - 8*b^10*x^4*z^5*a^2 + 65*b^2*c^8*x^4*z^5*a^2 + 17*b^4*c^6*x^4*z^5*a^2 - 66*b^6*c^4*x^4*z^5*a^2 + 4*b^8*c^2*x^4*z^5*a^2 - 8*b^10*y^4*z^5*a^2 + 13*c^10*y^4*z^5*a^2 - 65*b^2*c^8*y^4*z^5*a^2 + 220*b^4*c^6*y^4*z^5*a^2 - 200*b^6*c^4*y^4*z^5*a^2 + 40*b^8*c^2*y^4*z^5*a^2 - 32*b^10*x*y^3*z^5*a^2 + 81*c^10*x*y^3*z^5*a^2 - 195*b^2*c^8*x*y^3*z^5*a^2 + 702*b^4*c^6*x*y^3*z^5*a^2 - 687*b^6*c^4*x*y^3*z^5*a^2 + 103*b^8*c^2*x*y^3*z^5*a^2 - 48*b^10*x^2*y^2*z^5*a^2 + 120*c^10*x^2*y^2*z^5*a^2 + 669*b^4*c^6*x^2*y^2*z^5*a^2 - 840*b^6*c^4*x^2*y^2*z^5*a^2 + 90*b^8*c^2*x^2*y^2*z^5*a^2 - 32*b^10*x^3*y*z^5*a^2 + 36*c^10*x^3*y*z^5*a^2 + 195*b^2*c^8*x^3*y*z^5*a^2 + 237*b^4*c^6*x^3*y*z^5*a^2 - 419*b^6*c^4*x^3*y*z^5*a^2 + 31*b^8*c^2*x^3*y*z^5*a^2 + 10*c^10*x^5*y^4*a^2 + 4*b^2*c^8*x^5*y^4*a^2 + 42*b^4*c^6*x^5*y^4*a^2 - 16*b^6*c^4*x^5*y^4*a^2 - 40*b^8*c^2*x^5*y^4*a^2 - 10*b^10*x^5*z^4*a^2 + 40*b^2*c^8*x^5*z^4*a^2 + 16*b^4*c^6*x^5*z^4*a^2 - 42*b^6*c^4*x^5*z^4*a^2 - 4*b^8*c^2*x^5*z^4*a^2 - 13*b^10*y^5*z^4*a^2 + 8*c^10*y^5*z^4*a^2 - 40*b^2*c^8*y^5*z^4*a^2 + 200*b^4*c^6*y^5*z^4*a^2 - 220*b^6*c^4*y^5*z^4*a^2 + 65*b^8*c^2*y^5*z^4*a^2 - 72*b^10*x*y^4*z^4*a^2 + 72*c^10*x*y^4*z^4*a^2 - 201*b^2*c^8*x*y^4*z^4*a^2 + 903*b^4*c^6*x*y^4*z^4*a^2 - 903*b^6*c^4*x*y^4*z^4*a^2 + 201*b^8*c^2*x*y^4*z^4*a^2 - 148*b^10*x^2*y^3*z^4*a^2 + 201*c^10*x^2*y^3*z^4*a^2 - 195*b^2*c^8*x^2*y^3*z^4*a^2 + 1401*b^4*c^6*x^2*y^3*z^4*a^2 - 1479*b^6*c^4*x^2*y^3*z^4*a^2 + 215*b^8*c^2*x^2*y^3*z^4*a^2 - 142*b^10*x^3*y^2*z^4*a^2 + 156*c^10*x^3*y^2*z^4*a^2 + 195*b^2*c^8*x^3*y^2*z^4*a^2 + 885*b^4*c^6*x^3*y^2*z^4*a^2 - 1117*b^6*c^4*x^3*y^2*z^4*a^2 + 83*b^8*c^2*x^3*y^2*z^4*a^2 - 63*b^10*x^4*y*z^4*a^2 + 33*c^10*x^4*y*z^4*a^2 + 201*b^2*c^8*x^4*y*z^4*a^2 + 228*b^4*c^6*x^4*y*z^4*a^2 - 363*b^6*c^4*x^4*y*z^4*a^2 + 5*c^10*x^6*y^3*a^2 + 3*b^2*c^8*x^6*y^3*a^2 + 9*b^4*c^6*x^6*y^3*a^2 - 7*b^6*c^4*x^6*y^3*a^2 - 10*b^8*c^2*x^6*y^3*a^2 - 5*b^10*x^6*z^3*a^2 + 10*b^2*c^8*x^6*z^3*a^2 + 7*b^4*c^6*x^6*z^3*a^2 - 9*b^6*c^4*x^6*z^3*a^2 - 3*b^8*c^2*x^6*z^3*a^2 - 11*b^10*y^6*z^3*a^2 + 2*c^10*y^6*z^3*a^2 - 10*b^2*c^8*y^6*z^3*a^2 + 110*b^4*c^6*y^6*z^3*a^2 - 146*b^6*c^4*y^6*z^3*a^2 + 55*b^8*c^2*y^6*z^3*a^2 - 81*b^10*x*y^5*z^3*a^2 + 32*c^10*x*y^5*z^3*a^2 - 103*b^2*c^8*x*y^5*z^3*a^2 + 687*b^4*c^6*x*y^5*z^3*a^2 - 702*b^6*c^4*x*y^5*z^3*a^2 + 195*b^8*c^2*x*y^5*z^3*a^2 - 201*b^10*x^2*y^4*z^3*a^2 + 148*c^10*x^2*y^4*z^3*a^2 - 215*b^2*c^8*x^2*y^4*z^3*a^2 + 1479*b^4*c^6*x^2*y^4*z^3*a^2 - 1401*b^6*c^4*x^2*y^4*z^3*a^2 + 195*b^8*c^2*x^2*y^4*z^3*a^2 - 232*b^10*x^3*y^3*z^3*a^2 + 232*c^10*x^3*y^3*z^3*a^2 + 1416*b^4*c^6*x^3*y^3*z^3*a^2 - 1416*b^6*c^4*x^3*y^3*z^3*a^2 - 135*b^10*x^4*y^2*z^3*a^2 + 113*c^10*x^4*y^2*z^3*a^2 + 215*b^2*c^8*x^4*y^2*z^3*a^2 + 636*b^4*c^6*x^4*y^2*z^3*a^2 - 722*b^6*c^4*x^4*y^2*z^3*a^2 - 83*b^8*c^2*x^4*y^2*z^3*a^2 - 39*b^10*x^5*y*z^3*a^2 + 19*c^10*x^5*y*z^3*a^2 + 103*b^2*c^8*x^5*y*z^3*a^2 + 108*b^4*c^6*x^5*y*z^3*a^2 - 160*b^6*c^4*x^5*y*z^3*a^2 - 31*b^8*c^2*x^5*y*z^3*a^2 - 5*b^10*y^7*z^2*a^2 + 36*b^4*c^6*y^7*z^2*a^2 - 56*b^6*c^4*y^7*z^2*a^2 + 25*b^8*c^2*y^7*z^2*a^2 - 44*b^10*x*y^6*z^2*a^2 + 6*c^10*x*y^6*z^2*a^2 - 23*b^2*c^8*x*y^6*z^2*a^2 + 301*b^4*c^6*x*y^6*z^2*a^2 - 291*b^6*c^4*x*y^6*z^2*a^2 + 79*b^8*c^2*x*y^6*z^2*a^2 - 120*b^10*x^2*y^5*z^2*a^2 + 48*c^10*x^2*y^5*z^2*a^2 - 90*b^2*c^8*x^2*y^5*z^2*a^2 + 840*b^4*c^6*x^2*y^5*z^2*a^2 - 669*b^6*c^4*x^2*y^5*z^2*a^2 - 156*b^10*x^3*y^4*z^2*a^2 + 142*c^10*x^3*y^4*z^2*a^2 - 83*b^2*c^8*x^3*y^4*z^2*a^2 + 1117*b^4*c^6*x^3*y^4*z^2*a^2 - 885*b^6*c^4*x^3*y^4*z^2*a^2 - 195*b^8*c^2*x^3*y^4*z^2*a^2 - 113*b^10*x^4*y^3*z^2*a^2 + 135*c^10*x^4*y^3*z^2*a^2 + 83*b^2*c^8*x^4*y^3*z^2*a^2 + 722*b^4*c^6*x^4*y^3*z^2*a^2 - 636*b^6*c^4*x^4*y^3*z^2*a^2 - 215*b^8*c^2*x^4*y^3*z^2*a^2 - 48*b^10*x^5*y^2*z^2*a^2 + 48*c^10*x^5*y^2*z^2*a^2 + 90*b^2*c^8*x^5*y^2*z^2*a^2 + 210*b^4*c^6*x^5*y^2*z^2*a^2 - 210*b^6*c^4*x^5*y^2*z^2*a^2 - 90*b^8*c^2*x^5*y^2*z^2*a^2 - 10*b^10*x^6*y*z^2*a^2 + 5*c^10*x^6*y*z^2*a^2 + 23*b^2*c^8*x^6*y*z^2*a^2 + 23*b^4*c^6*x^6*y*z^2*a^2 - 25*b^6*c^4*x^6*y*z^2*a^2 - 16*b^8*c^2*x^6*y*z^2*a^2 - b^10*y^8*z*a^2 + 6*b^4*c^6*y^8*z*a^2 - 10*b^6*c^4*y^8*z*a^2 + 5*b^8*c^2*y^8*z*a^2 - 9*b^10*x*y^7*z*a^2 + 66*b^4*c^6*x*y^7*z*a^2 - 45*b^6*c^4*x*y^7*z*a^2 - 25*b^10*x^2*y^6*z*a^2 + 6*c^10*x^2*y^6*z*a^2 - 16*b^2*c^8*x^2*y^6*z*a^2 + 248*b^4*c^6*x^2*y^6*z*a^2 - 129*b^6*c^4*x^2*y^6*z*a^2 - 79*b^8*c^2*x^2*y^6*z*a^2 - 36*b^10*x^3*y^5*z*a^2 + 32*c^10*x^3*y^5*z*a^2 - 31*b^2*c^8*x^3*y^5*z*a^2 + 419*b^4*c^6*x^3*y^5*z*a^2 - 237*b^6*c^4*x^3*y^5*z*a^2 - 195*b^8*c^2*x^3*y^5*z*a^2 - 33*b^10*x^4*y^4*z*a^2 + 63*c^10*x^4*y^4*z*a^2 + 363*b^4*c^6*x^4*y^4*z*a^2 - 228*b^6*c^4*x^4*y^4*z*a^2 - 201*b^8*c^2*x^4*y^4*z*a^2 - 19*b^10*x^5*y^3*z*a^2 + 39*c^10*x^5*y^3*z*a^2 + 31*b^2*c^8*x^5*y^3*z*a^2 + 160*b^4*c^6*x^5*y^3*z*a^2 - 108*b^6*c^4*x^5*y^3*z*a^2 - 103*b^8*c^2*x^5*y^3*z*a^2 - 5*b^10*x^6*y^2*z*a^2 + 10*c^10*x^6*y^2*z*a^2 + 16*b^2*c^8*x^6*y^2*z*a^2 + 25*b^4*c^6*x^6*y^2*z*a^2 - 23*b^6*c^4*x^6*y^2*z*a^2 - 23*b^8*c^2*x^6*y^2*z*a^2 + b^6*c^6*x*y^8 - 2*b^8*c^4*x*y^8 + b^10*c^2*x*y^8 - b^2*c^10*x*z^8 + 2*b^4*c^8*x*z^8 - b^6*c^6*x*z^8 - 3*b^4*c^8*x^2*y^7 + 8*b^6*c^6*x^2*y^7 - 10*b^8*c^4*x^2*y^7 + 5*b^10*c^2*x^2*y^7 - 5*b^2*c^10*x^2*z^7 + 10*b^4*c^8*x^2*z^7 - 8*b^6*c^6*x^2*z^7 + 3*b^8*c^4*x^2*z^7 - 9*b^2*c^10*x*y*z^7 + 21*b^4*c^8*x*y*z^7 - 15*b^6*c^6*x*y*z^7 + 3*b^8*c^4*x*y*z^7 - 5*b^2*c^10*x^3*y^6 - 5*b^4*c^8*x^3*y^6 + 24*b^6*c^6*x^3*y^6 - 25*b^8*c^4*x^3*y^6 + 11*b^10*c^2*x^3*y^6 - 11*b^2*c^10*x^3*z^6 + 25*b^4*c^8*x^3*z^6 - 24*b^6*c^6*x^3*z^6 + 5*b^8*c^4*x^3*z^6 + 5*b^10*c^2*x^3*z^6 - c^12*x*y^2*z^6 - 25*b^2*c^10*x*y^2*z^6 + 62*b^4*c^8*x*y^2*z^6 - 40*b^6*c^6*x*y^2*z^6 - b^8*c^4*x*y^2*z^6 + 5*b^10*c^2*x*y^2*z^6 + c^12*x^2*y*z^6 - 44*b^2*c^10*x^2*y*z^6 + 88*b^4*c^8*x^2*y*z^6 - 59*b^6*c^6*x^2*y*z^6 + 4*b^8*c^4*x^2*y*z^6 + 10*b^10*c^2*x^2*y*z^6 - c^12*x^4*y^5 - 10*b^2*c^10*x^4*y^5 + 5*b^4*c^8*x^4*y^5 + 25*b^6*c^6*x^4*y^5 - 32*b^8*c^4*x^4*y^5 + 13*b^10*c^2*x^4*y^5 + b^12*x^4*z^5 - 13*b^2*c^10*x^4*z^5 + 32*b^4*c^8*x^4*z^5 - 25*b^6*c^6*x^4*z^5 - 5*b^8*c^4*x^4*z^5 + 10*b^10*c^2*x^4*z^5 + b^12*x*y^3*z^5 - 3*c^12*x*y^3*z^5 - 36*b^2*c^10*x*y^3*z^5 + 90*b^4*c^8*x*y^3*z^5 - 39*b^6*c^6*x*y^3*z^5 - 32*b^8*c^4*x*y^3*z^5 + 19*b^10*c^2*x*y^3*z^5 + 3*b^12*x^2*y^2*z^5 - 120*b^2*c^10*x^2*y^2*z^5 + 240*b^4*c^8*x^2*y^2*z^5 - 129*b^6*c^6*x^2*y^2*z^5 - 42*b^8*c^4*x^2*y^2*z^5 + 48*b^10*c^2*x^2*y^2*z^5 + 3*b^12*x^3*y*z^5 + 3*c^12*x^3*y*z^5 - 81*b^2*c^10*x^3*y*z^5 + 153*b^4*c^8*x^3*y*z^5 - 102*b^6*c^6*x^3*y*z^5 - 15*b^8*c^4*x^3*y*z^5 + 39*b^10*c^2*x^3*y*z^5 + c^12*x^5*y^4 - 8*b^2*c^10*x^5*y^4 + 10*b^4*c^8*x^5*y^4 + 8*b^6*c^6*x^5*y^4 - 19*b^8*c^4*x^5*y^4 + 8*b^10*c^2*x^5*y^4 - b^12*x^5*z^4 - 8*b^2*c^10*x^5*z^4 + 19*b^4*c^8*x^5*z^4 - 8*b^6*c^6*x^5*z^4 - 10*b^8*c^4*x^5*z^4 + 8*b^10*c^2*x^5*z^4 + 3*b^12*x*y^4*z^4 - 3*c^12*x*y^4*z^4 - 33*b^2*c^10*x*y^4*z^4 + 75*b^4*c^8*x*y^4*z^4 - 75*b^8*c^4*x*y^4*z^4 + 33*b^10*c^2*x*y^4*z^4 + 8*b^12*x^2*y^3*z^4 - 6*c^12*x^2*y^3*z^4 - 156*b^2*c^10*x^2*y^3*z^4 + 297*b^4*c^8*x^2*y^3*z^4 - 78*b^6*c^6*x^2*y^3*z^4 - 178*b^8*c^4*x^2*y^3*z^4 + 113*b^10*c^2*x^2*y^3*z^4 + 6*b^12*x^3*y^2*z^4 + 6*c^12*x^3*y^2*z^4 - 201*b^2*c^10*x^3*y^2*z^4 + 339*b^4*c^8*x^3*y^2*z^4 - 132*b^6*c^6*x^3*y^2*z^4 - 153*b^8*c^4*x^3*y^2*z^4 + 135*b^10*c^2*x^3*y^2*z^4 + 3*c^12*x^4*y*z^4 - 72*b^2*c^10*x^4*y*z^4 + 141*b^4*c^8*x^4*y*z^4 - 75*b^6*c^6*x^4*y*z^4 - 60*b^8*c^4*x^4*y*z^4 + 63*b^10*c^2*x^4*y*z^4 - 2*b^2*c^10*x^6*y^3 + 4*b^4*c^8*x^6*y^3 - 4*b^8*c^4*x^6*y^3 + 2*b^10*c^2*x^6*y^3 - 2*b^2*c^10*x^6*z^3 + 4*b^4*c^8*x^6*z^3 - 4*b^8*c^4*x^6*z^3 + 2*b^10*c^2*x^6*z^3 + 3*b^12*x*y^5*z^3 - c^12*x*y^5*z^3 - 19*b^2*c^10*x*y^5*z^3 + 32*b^4*c^8*x*y^5*z^3 + 39*b^6*c^6*x*y^5*z^3 - 90*b^8*c^4*x*y^5*z^3 + 36*b^10*c^2*x*y^5*z^3 + 6*b^12*x^2*y^4*z^3 - 8*c^12*x^2*y^4*z^3 - 113*b^2*c^10*x^2*y^4*z^3 + 178*b^4*c^8*x^2*y^4*z^3 + 78*b^6*c^6*x^2*y^4*z^3 - 297*b^8*c^4*x^2*y^4*z^3 + 156*b^10*c^2*x^2*y^4*z^3 - 232*b^2*c^10*x^3*y^3*z^3 + 344*b^4*c^8*x^3*y^3*z^3 - 344*b^8*c^4*x^3*y^3*z^3 + 232*b^10*c^2*x^3*y^3*z^3 - 6*b^12*x^4*y^2*z^3 + 8*c^12*x^4*y^2*z^3 - 148*b^2*c^10*x^4*y^2*z^3 + 236*b^4*c^8*x^4*y^2*z^3 - 50*b^6*c^6*x^4*y^2*z^3 - 182*b^8*c^4*x^4*y^2*z^3 + 142*b^10*c^2*x^4*y^2*z^3 - 3*b^12*x^5*y*z^3 + c^12*x^5*y*z^3 - 32*b^2*c^10*x^5*y*z^3 + 67*b^4*c^8*x^5*y*z^3 - 16*b^6*c^6*x^5*y*z^3 - 49*b^8*c^4*x^5*y*z^3 + 32*b^10*c^2*x^5*y*z^3 + b^12*x*y^6*z^2 - 5*b^2*c^10*x*y^6*z^2 + b^4*c^8*x*y^6*z^2 + 40*b^6*c^6*x*y^6*z^2 - 62*b^8*c^4*x*y^6*z^2 + 25*b^10*c^2*x*y^6*z^2 - 3*c^12*x^2*y^5*z^2 - 48*b^2*c^10*x^2*y^5*z^2 + 42*b^4*c^8*x^2*y^5*z^2 + 129*b^6*c^6*x^2*y^5*z^2 - 240*b^8*c^4*x^2*y^5*z^2 + 120*b^10*c^2*x^2*y^5*z^2 - 6*b^12*x^3*y^4*z^2 - 6*c^12*x^3*y^4*z^2 - 135*b^2*c^10*x^3*y^4*z^2 + 153*b^4*c^8*x^3*y^4*z^2 + 132*b^6*c^6*x^3*y^4*z^2 - 339*b^8*c^4*x^3*y^4*z^2 + 201*b^10*c^2*x^3*y^4*z^2 - 8*b^12*x^4*y^3*z^2 + 6*c^12*x^4*y^3*z^2 - 142*b^2*c^10*x^4*y^3*z^2 + 182*b^4*c^8*x^4*y^3*z^2 + 50*b^6*c^6*x^4*y^3*z^2 - 236*b^8*c^4*x^4*y^3*z^2 + 148*b^10*c^2*x^4*y^3*z^2 - 3*b^12*x^5*y^2*z^2 + 3*c^12*x^5*y^2*z^2 - 48*b^2*c^10*x^5*y^2*z^2 + 87*b^4*c^8*x^5*y^2*z^2 - 87*b^8*c^4*x^5*y^2*z^2 + 48*b^10*c^2*x^5*y^2*z^2 - 6*b^2*c^10*x^6*y*z^2 + 12*b^4*c^8*x^6*y*z^2 - 12*b^8*c^4*x^6*y*z^2 + 6*b^10*c^2*x^6*y*z^2 - a^10*c^2*x^8*y - 3*b^4*c^8*x*y^7*z + 15*b^6*c^6*x*y^7*z - 21*b^8*c^4*x*y^7*z + 9*b^10*c^2*x*y^7*z - b^12*x^2*y^6*z - 10*b^2*c^10*x^2*y^6*z - 4*b^4*c^8*x^2*y^6*z + 59*b^6*c^6*x^2*y^6*z - 88*b^8*c^4*x^2*y^6*z + 44*b^10*c^2*x^2*y^6*z - 3*b^12*x^3*y^5*z - 3*c^12*x^3*y^5*z - 39*b^2*c^10*x^3*y^5*z + 15*b^4*c^8*x^3*y^5*z + 102*b^6*c^6*x^3*y^5*z - 153*b^8*c^4*x^3*y^5*z + 81*b^10*c^2*x^3*y^5*z - 3*b^12*x^4*y^4*z - 63*b^2*c^10*x^4*y^4*z + 60*b^4*c^8*x^4*y^4*z + 75*b^6*c^6*x^4*y^4*z - 141*b^8*c^4*x^4*y^4*z + 72*b^10*c^2*x^4*y^4*z - b^12*x^5*y^3*z + 3*c^12*x^5*y^3*z - 32*b^2*c^10*x^5*y^3*z + 49*b^4*c^8*x^5*y^3*z + 16*b^6*c^6*x^5*y^3*z - 67*b^8*c^4*x^5*y^3*z + 32*b^10*c^2*x^5*y^3*z - 6*b^2*c^10*x^6*y^2*z + 12*b^4*c^8*x^6*y^2*z - 12*b^8*c^4*x^6*y^2*z + 6*b^10*c^2*x^6*y^2*z = 0