Q005 :a^24*b^2*x^3 - 9*a^22*b^4*x^3 + 38*a^20*b^6*x^3 - 100*a^18*b^8*x^3 + 183*a^16*b^10*x^3 - 245*a^14*b^12*x^3 + 245*a^12*b^14*x^3 - 183*a^10*b^16*x^3 + 100*a^8*b^18*x^3 - 38*a^6*b^20*x^3 + 9*a^4*b^22*x^3 - a^2*b^24*x^3 - a^24*c^2*x^3 + 27*a^20*b^4*c^2*x^3 - 118*a^18*b^6*c^2*x^3 + 267*a^16*b^8*c^2*x^3 - 390*a^14*b^10*c^2*x^3 + 396*a^12*b^12*c^2*x^3 - 288*a^10*b^14*c^2*x^3 + 153*a^8*b^16*c^2*x^3 - 62*a^6*b^18*c^2*x^3 + 21*a^4*b^20*c^2*x^3 - 6*a^2*b^22*c^2*x^3 + b^24*c^2*x^3 + 9*a^22*c^4*x^3 - 27*a^20*b^2*c^4*x^3 + 111*a^16*b^6*c^4*x^3 - 210*a^14*b^8*c^4*x^3 + 147*a^12*b^10*c^4*x^3 + 69*a^10*b^12*c^4*x^3 - 252*a^8*b^14*c^4*x^3 + 267*a^6*b^16*c^4*x^3 - 162*a^4*b^18*c^4*x^3 + 57*a^2*b^20*c^4*x^3 - 9*b^22*c^4*x^3 - 38*a^20*c^6*x^3 + 118*a^18*b^2*c^6*x^3 - 111*a^16*b^4*c^6*x^3 + 135*a^12*b^8*c^6*x^3 - 258*a^10*b^10*c^6*x^3 + 321*a^8*b^12*c^6*x^3 - 360*a^6*b^14*c^6*x^3 + 327*a^4*b^16*c^6*x^3 - 172*a^2*b^18*c^6*x^3 + 38*b^20*c^6*x^3 + 100*a^18*c^8*x^3 - 267*a^16*b^2*c^8*x^3 + 210*a^14*b^4*c^8*x^3 - 135*a^12*b^6*c^8*x^3 - 90*a^8*b^10*c^8*x^3 + 357*a^6*b^12*c^8*x^3 - 348*a^4*b^14*c^8*x^3 + 273*a^2*b^16*c^8*x^3 - 100*b^18*c^8*x^3 - 183*a^16*c^10*x^3 + 390*a^14*b^2*c^10*x^3 - 147*a^12*b^4*c^10*x^3 + 258*a^10*b^6*c^10*x^3 + 90*a^8*b^8*c^10*x^3 + 255*a^4*b^12*c^10*x^3 - 222*a^2*b^14*c^10*x^3 + 183*b^16*c^10*x^3 + 245*a^14*c^12*x^3 - 396*a^12*b^2*c^12*x^3 - 69*a^10*b^4*c^12*x^3 - 321*a^8*b^6*c^12*x^3 - 357*a^6*b^8*c^12*x^3 - 255*a^4*b^10*c^12*x^3 - 245*b^14*c^12*x^3 - 245*a^12*c^14*x^3 + 288*a^10*b^2*c^14*x^3 + 252*a^8*b^4*c^14*x^3 + 360*a^6*b^6*c^14*x^3 + 348*a^4*b^8*c^14*x^3 + 222*a^2*b^10*c^14*x^3 + 245*b^12*c^14*x^3 + 183*a^10*c^16*x^3 - 153*a^8*b^2*c^16*x^3 - 267*a^6*b^4*c^16*x^3 - 327*a^4*b^6*c^16*x^3 - 273*a^2*b^8*c^16*x^3 - 183*b^10*c^16*x^3 - 100*a^8*c^18*x^3 + 62*a^6*b^2*c^18*x^3 + 162*a^4*b^4*c^18*x^3 + 172*a^2*b^6*c^18*x^3 + 100*b^8*c^18*x^3 + 38*a^6*c^20*x^3 - 21*a^4*b^2*c^20*x^3 - 57*a^2*b^4*c^20*x^3 - 38*b^6*c^20*x^3 - 9*a^4*c^22*x^3 + 6*a^2*b^2*c^22*x^3 + 9*b^4*c^22*x^3 + a^2*c^24*x^3 - b^2*c^24*x^3 + 3*a^24*b^2*x^2*y - 27*a^22*b^4*x^2*y + 114*a^20*b^6*x^2*y - 300*a^18*b^8*x^2*y + 549*a^16*b^10*x^2*y - 735*a^14*b^12*x^2*y + 735*a^12*b^14*x^2*y - 549*a^10*b^16*x^2*y + 300*a^8*b^18*x^2*y - 114*a^6*b^20*x^2*y + 27*a^4*b^22*x^2*y - 3*a^2*b^24*x^2*y - 3*a^24*c^2*x^2*y + 6*a^22*b^2*c^2*x^2*y + 33*a^20*b^4*c^2*x^2*y - 174*a^18*b^6*c^2*x^2*y + 381*a^16*b^8*c^2*x^2*y - 492*a^14*b^10*c^2*x^2*y + 396*a^12*b^12*c^2*x^2*y - 186*a^10*b^14*c^2*x^2*y + 39*a^8*b^16*c^2*x^2*y - 6*a^6*b^18*c^2*x^2*y + 15*a^4*b^20*c^2*x^2*y - 12*a^2*b^22*c^2*x^2*y + 3*b^24*c^2*x^2*y + 27*a^22*c^4*x^2*y - 111*a^20*b^2*c^4*x^2*y + 162*a^18*b^4*c^4*x^2*y - 45*a^16*b^6*c^4*x^2*y - 168*a^14*b^8*c^4*x^2*y + 225*a^12*b^10*c^4*x^2*y - 9*a^10*b^12*c^4*x^2*y - 294*a^8*b^14*c^4*x^2*y + 423*a^6*b^16*c^4*x^2*y - 324*a^4*b^18*c^4*x^2*y + 141*a^2*b^20*c^4*x^2*y - 27*b^22*c^4*x^2*y - 114*a^20*c^6*x^2*y + 408*a^18*b^2*c^6*x^2*y - 549*a^16*b^4*c^6*x^2*y + 360*a^14*b^6*c^6*x^2*y - 51*a^12*b^8*c^6*x^2*y - 258*a^10*b^10*c^6*x^2*y + 507*a^8*b^12*c^6*x^2*y - 720*a^6*b^14*c^6*x^2*y + 765*a^4*b^16*c^6*x^2*y - 462*a^2*b^18*c^6*x^2*y + 114*b^20*c^6*x^2*y + 300*a^18*c^8*x^2*y - 807*a^16*b^2*c^8*x^2*y + 768*a^14*b^4*c^8*x^2*y - 339*a^12*b^6*c^8*x^2*y + 90*a^10*b^8*c^8*x^2*y - 180*a^8*b^10*c^8*x^2*y + 561*a^6*b^12*c^8*x^2*y - 906*a^4*b^14*c^8*x^2*y + 813*a^2*b^16*c^8*x^2*y - 300*b^18*c^8*x^2*y - 549*a^16*c^10*x^2*y + 1002*a^14*b^2*c^10*x^2*y - 549*a^12*b^4*c^10*x^2*y - 60*a^10*b^6*c^10*x^2*y + 90*a^8*b^8*c^10*x^2*y - 546*a^6*b^10*c^10*x^2*y + 657*a^4*b^12*c^10*x^2*y - 834*a^2*b^14*c^10*x^2*y + 549*b^16*c^10*x^2*y + 735*a^14*c^12*x^2*y - 792*a^12*b^2*c^12*x^2*y + 117*a^10*b^4*c^12*x^2*y + 3*a^8*b^6*c^12*x^2*y + 183*a^6*b^8*c^12*x^2*y - 441*a^4*b^10*c^12*x^2*y + 396*a^2*b^12*c^12*x^2*y - 735*b^14*c^12*x^2*y - 735*a^12*c^14*x^2*y + 354*a^10*b^2*c^14*x^2*y + 156*a^8*b^4*c^14*x^2*y + 360*a^6*b^6*c^14*x^2*y + 444*a^4*b^8*c^14*x^2*y + 156*a^2*b^10*c^14*x^2*y + 735*b^12*c^14*x^2*y + 549*a^10*c^16*x^2*y - 33*a^8*b^2*c^16*x^2*y - 207*a^6*b^4*c^16*x^2*y - 387*a^4*b^6*c^16*x^2*y - 393*a^2*b^8*c^16*x^2*y - 549*b^10*c^16*x^2*y - 300*a^8*c^18*x^2*y - 48*a^6*b^2*c^18*x^2*y + 162*a^4*b^4*c^18*x^2*y + 282*a^2*b^6*c^18*x^2*y + 300*b^8*c^18*x^2*y + 114*a^6*c^20*x^2*y + 15*a^4*b^2*c^20*x^2*y - 93*a^2*b^4*c^20*x^2*y - 114*b^6*c^20*x^2*y - 27*a^4*c^22*x^2*y + 6*a^2*b^2*c^22*x^2*y + 27*b^4*c^22*x^2*y + 3*a^2*c^24*x^2*y - 3*b^2*c^24*x^2*y + 3*a^24*b^2*x*y^2 - 27*a^22*b^4*x*y^2 + 114*a^20*b^6*x*y^2 - 300*a^18*b^8*x*y^2 + 549*a^16*b^10*x*y^2 - 735*a^14*b^12*x*y^2 + 735*a^12*b^14*x*y^2 - 549*a^10*b^16*x*y^2 + 300*a^8*b^18*x*y^2 - 114*a^6*b^20*x*y^2 + 27*a^4*b^22*x*y^2 - 3*a^2*b^24*x*y^2 - 3*a^24*c^2*x*y^2 + 12*a^22*b^2*c^2*x*y^2 - 15*a^20*b^4*c^2*x*y^2 + 6*a^18*b^6*c^2*x*y^2 - 39*a^16*b^8*c^2*x*y^2 + 186*a^14*b^10*c^2*x*y^2 - 396*a^12*b^12*c^2*x*y^2 + 492*a^10*b^14*c^2*x*y^2 - 381*a^8*b^16*c^2*x*y^2 + 174*a^6*b^18*c^2*x*y^2 - 33*a^4*b^20*c^2*x*y^2 - 6*a^2*b^22*c^2*x*y^2 + 3*b^24*c^2*x*y^2 + 27*a^22*c^4*x*y^2 - 141*a^20*b^2*c^4*x*y^2 + 324*a^18*b^4*c^4*x*y^2 - 423*a^16*b^6*c^4*x*y^2 + 294*a^14*b^8*c^4*x*y^2 + 9*a^12*b^10*c^4*x*y^2 - 225*a^10*b^12*c^4*x*y^2 + 168*a^8*b^14*c^4*x*y^2 + 45*a^6*b^16*c^4*x*y^2 - 162*a^4*b^18*c^4*x*y^2 + 111*a^2*b^20*c^4*x*y^2 - 27*b^22*c^4*x*y^2 - 114*a^20*c^6*x*y^2 + 462*a^18*b^2*c^6*x*y^2 - 765*a^16*b^4*c^6*x*y^2 + 720*a^14*b^6*c^6*x*y^2 - 507*a^12*b^8*c^6*x*y^2 + 258*a^10*b^10*c^6*x*y^2 + 51*a^8*b^12*c^6*x*y^2 - 360*a^6*b^14*c^6*x*y^2 + 549*a^4*b^16*c^6*x*y^2 - 408*a^2*b^18*c^6*x*y^2 + 114*b^20*c^6*x*y^2 + 300*a^18*c^8*x*y^2 - 813*a^16*b^2*c^8*x*y^2 + 906*a^14*b^4*c^8*x*y^2 - 561*a^12*b^6*c^8*x*y^2 + 180*a^10*b^8*c^8*x*y^2 - 90*a^8*b^10*c^8*x*y^2 + 339*a^6*b^12*c^8*x*y^2 - 768*a^4*b^14*c^8*x*y^2 + 807*a^2*b^16*c^8*x*y^2 - 300*b^18*c^8*x*y^2 - 549*a^16*c^10*x*y^2 + 834*a^14*b^2*c^10*x*y^2 - 657*a^12*b^4*c^10*x*y^2 + 546*a^10*b^6*c^10*x*y^2 - 90*a^8*b^8*c^10*x*y^2 + 60*a^6*b^10*c^10*x*y^2 + 549*a^4*b^12*c^10*x*y^2 - 1002*a^2*b^14*c^10*x*y^2 + 549*b^16*c^10*x*y^2 + 735*a^14*c^12*x*y^2 - 396*a^12*b^2*c^12*x*y^2 + 441*a^10*b^4*c^12*x*y^2 - 183*a^8*b^6*c^12*x*y^2 - 3*a^6*b^8*c^12*x*y^2 - 117*a^4*b^10*c^12*x*y^2 + 792*a^2*b^12*c^12*x*y^2 - 735*b^14*c^12*x*y^2 - 735*a^12*c^14*x*y^2 - 156*a^10*b^2*c^14*x*y^2 - 444*a^8*b^4*c^14*x*y^2 - 360*a^6*b^6*c^14*x*y^2 - 156*a^4*b^8*c^14*x*y^2 - 354*a^2*b^10*c^14*x*y^2 + 735*b^12*c^14*x*y^2 + 549*a^10*c^16*x*y^2 + 393*a^8*b^2*c^16*x*y^2 + 387*a^6*b^4*c^16*x*y^2 + 207*a^4*b^6*c^16*x*y^2 + 33*a^2*b^8*c^16*x*y^2 - 549*b^10*c^16*x*y^2 - 300*a^8*c^18*x*y^2 - 282*a^6*b^2*c^18*x*y^2 - 162*a^4*b^4*c^18*x*y^2 + 48*a^2*b^6*c^18*x*y^2 + 300*b^8*c^18*x*y^2 + 114*a^6*c^20*x*y^2 + 93*a^4*b^2*c^20*x*y^2 - 15*a^2*b^4*c^20*x*y^2 - 114*b^6*c^20*x*y^2 - 27*a^4*c^22*x*y^2 - 6*a^2*b^2*c^22*x*y^2 + 27*b^4*c^22*x*y^2 + 3*a^2*c^24*x*y^2 - 3*b^2*c^24*x*y^2 + a^24*b^2*y^3 - 9*a^22*b^4*y^3 + 38*a^20*b^6*y^3 - 100*a^18*b^8*y^3 + 183*a^16*b^10*y^3 - 245*a^14*b^12*y^3 + 245*a^12*b^14*y^3 - 183*a^10*b^16*y^3 + 100*a^8*b^18*y^3 - 38*a^6*b^20*y^3 + 9*a^4*b^22*y^3 - a^2*b^24*y^3 - a^24*c^2*y^3 + 6*a^22*b^2*c^2*y^3 - 21*a^20*b^4*c^2*y^3 + 62*a^18*b^6*c^2*y^3 - 153*a^16*b^8*c^2*y^3 + 288*a^14*b^10*c^2*y^3 - 396*a^12*b^12*c^2*y^3 + 390*a^10*b^14*c^2*y^3 - 267*a^8*b^16*c^2*y^3 + 118*a^6*b^18*c^2*y^3 - 27*a^4*b^20*c^2*y^3 + b^24*c^2*y^3 + 9*a^22*c^4*y^3 - 57*a^20*b^2*c^4*y^3 + 162*a^18*b^4*c^4*y^3 - 267*a^16*b^6*c^4*y^3 + 252*a^14*b^8*c^4*y^3 - 69*a^12*b^10*c^4*y^3 - 147*a^10*b^12*c^4*y^3 + 210*a^8*b^14*c^4*y^3 - 111*a^6*b^16*c^4*y^3 + 27*a^2*b^20*c^4*y^3 - 9*b^22*c^4*y^3 - 38*a^20*c^6*y^3 + 172*a^18*b^2*c^6*y^3 - 327*a^16*b^4*c^6*y^3 + 360*a^14*b^6*c^6*y^3 - 321*a^12*b^8*c^6*y^3 + 258*a^10*b^10*c^6*y^3 - 135*a^8*b^12*c^6*y^3 + 111*a^4*b^16*c^6*y^3 - 118*a^2*b^18*c^6*y^3 + 38*b^20*c^6*y^3 + 100*a^18*c^8*y^3 - 273*a^16*b^2*c^8*y^3 + 348*a^14*b^4*c^8*y^3 - 357*a^12*b^6*c^8*y^3 + 90*a^10*b^8*c^8*y^3 + 135*a^6*b^12*c^8*y^3 - 210*a^4*b^14*c^8*y^3 + 267*a^2*b^16*c^8*y^3 - 100*b^18*c^8*y^3 - 183*a^16*c^10*y^3 + 222*a^14*b^2*c^10*y^3 - 255*a^12*b^4*c^10*y^3 - 90*a^8*b^8*c^10*y^3 - 258*a^6*b^10*c^10*y^3 + 147*a^4*b^12*c^10*y^3 - 390*a^2*b^14*c^10*y^3 + 183*b^16*c^10*y^3 + 245*a^14*c^12*y^3 + 255*a^10*b^4*c^12*y^3 + 357*a^8*b^6*c^12*y^3 + 321*a^6*b^8*c^12*y^3 + 69*a^4*b^10*c^12*y^3 + 396*a^2*b^12*c^12*y^3 - 245*b^14*c^12*y^3 - 245*a^12*c^14*y^3 - 222*a^10*b^2*c^14*y^3 - 348*a^8*b^4*c^14*y^3 - 360*a^6*b^6*c^14*y^3 - 252*a^4*b^8*c^14*y^3 - 288*a^2*b^10*c^14*y^3 + 245*b^12*c^14*y^3 + 183*a^10*c^16*y^3 + 273*a^8*b^2*c^16*y^3 + 327*a^6*b^4*c^16*y^3 + 267*a^4*b^6*c^16*y^3 + 153*a^2*b^8*c^16*y^3 - 183*b^10*c^16*y^3 - 100*a^8*c^18*y^3 - 172*a^6*b^2*c^18*y^3 - 162*a^4*b^4*c^18*y^3 - 62*a^2*b^6*c^18*y^3 + 100*b^8*c^18*y^3 + 38*a^6*c^20*y^3 + 57*a^4*b^2*c^20*y^3 + 21*a^2*b^4*c^20*y^3 - 38*b^6*c^20*y^3 - 9*a^4*c^22*y^3 - 6*a^2*b^2*c^22*y^3 + 9*b^4*c^22*y^3 + a^2*c^24*y^3 - b^2*c^24*y^3 + 3*a^24*b^2*x^2*z - 27*a^22*b^4*x^2*z + 114*a^20*b^6*x^2*z - 300*a^18*b^8*x^2*z + 549*a^16*b^10*x^2*z - 735*a^14*b^12*x^2*z + 735*a^12*b^14*x^2*z - 549*a^10*b^16*x^2*z + 300*a^8*b^18*x^2*z - 114*a^6*b^20*x^2*z + 27*a^4*b^22*x^2*z - 3*a^2*b^24*x^2*z - 3*a^24*c^2*x^2*z - 6*a^22*b^2*c^2*x^2*z + 111*a^20*b^4*c^2*x^2*z - 408*a^18*b^6*c^2*x^2*z + 807*a^16*b^8*c^2*x^2*z - 1002*a^14*b^10*c^2*x^2*z + 792*a^12*b^12*c^2*x^2*z - 354*a^10*b^14*c^2*x^2*z + 33*a^8*b^16*c^2*x^2*z + 48*a^6*b^18*c^2*x^2*z - 15*a^4*b^20*c^2*x^2*z - 6*a^2*b^22*c^2*x^2*z + 3*b^24*c^2*x^2*z + 27*a^22*c^4*x^2*z - 33*a^20*b^2*c^4*x^2*z - 162*a^18*b^4*c^4*x^2*z + 549*a^16*b^6*c^4*x^2*z - 768*a^14*b^8*c^4*x^2*z + 549*a^12*b^10*c^4*x^2*z - 117*a^10*b^12*c^4*x^2*z - 156*a^8*b^14*c^4*x^2*z + 207*a^6*b^16*c^4*x^2*z - 162*a^4*b^18*c^4*x^2*z + 93*a^2*b^20*c^4*x^2*z - 27*b^22*c^4*x^2*z - 114*a^20*c^6*x^2*z + 174*a^18*b^2*c^6*x^2*z + 45*a^16*b^4*c^6*x^2*z - 360*a^14*b^6*c^6*x^2*z + 339*a^12*b^8*c^6*x^2*z + 60*a^10*b^10*c^6*x^2*z - 3*a^8*b^12*c^6*x^2*z - 360*a^6*b^14*c^6*x^2*z + 387*a^4*b^16*c^6*x^2*z - 282*a^2*b^18*c^6*x^2*z + 114*b^20*c^6*x^2*z + 300*a^18*c^8*x^2*z - 381*a^16*b^2*c^8*x^2*z + 168*a^14*b^4*c^8*x^2*z + 51*a^12*b^6*c^8*x^2*z - 90*a^10*b^8*c^8*x^2*z - 90*a^8*b^10*c^8*x^2*z - 183*a^6*b^12*c^8*x^2*z - 444*a^4*b^14*c^8*x^2*z + 393*a^2*b^16*c^8*x^2*z - 300*b^18*c^8*x^2*z - 549*a^16*c^10*x^2*z + 492*a^14*b^2*c^10*x^2*z - 225*a^12*b^4*c^10*x^2*z + 258*a^10*b^6*c^10*x^2*z + 180*a^8*b^8*c^10*x^2*z + 546*a^6*b^10*c^10*x^2*z + 441*a^4*b^12*c^10*x^2*z - 156*a^2*b^14*c^10*x^2*z + 549*b^16*c^10*x^2*z + 735*a^14*c^12*x^2*z - 396*a^12*b^2*c^12*x^2*z + 9*a^10*b^4*c^12*x^2*z - 507*a^8*b^6*c^12*x^2*z - 561*a^6*b^8*c^12*x^2*z - 657*a^4*b^10*c^12*x^2*z - 396*a^2*b^12*c^12*x^2*z - 735*b^14*c^12*x^2*z - 735*a^12*c^14*x^2*z + 186*a^10*b^2*c^14*x^2*z + 294*a^8*b^4*c^14*x^2*z + 720*a^6*b^6*c^14*x^2*z + 906*a^4*b^8*c^14*x^2*z + 834*a^2*b^10*c^14*x^2*z + 735*b^12*c^14*x^2*z + 549*a^10*c^16*x^2*z - 39*a^8*b^2*c^16*x^2*z - 423*a^6*b^4*c^16*x^2*z - 765*a^4*b^6*c^16*x^2*z - 813*a^2*b^8*c^16*x^2*z - 549*b^10*c^16*x^2*z - 300*a^8*c^18*x^2*z + 6*a^6*b^2*c^18*x^2*z + 324*a^4*b^4*c^18*x^2*z + 462*a^2*b^6*c^18*x^2*z + 300*b^8*c^18*x^2*z + 114*a^6*c^20*x^2*z - 15*a^4*b^2*c^20*x^2*z - 141*a^2*b^4*c^20*x^2*z - 114*b^6*c^20*x^2*z - 27*a^4*c^22*x^2*z + 12*a^2*b^2*c^22*x^2*z + 27*b^4*c^22*x^2*z + 3*a^2*c^24*x^2*z - 3*b^2*c^24*x^2*z + 6*a^24*b^2*x*y*z - 54*a^22*b^4*x*y*z + 228*a^20*b^6*x*y*z - 600*a^18*b^8*x*y*z + 1098*a^16*b^10*x*y*z - 1470*a^14*b^12*x*y*z + 1470*a^12*b^14*x*y*z - 1098*a^10*b^16*x*y*z + 600*a^8*b^18*x*y*z - 228*a^6*b^20*x*y*z + 54*a^4*b^22*x*y*z - 6*a^2*b^24*x*y*z - 6*a^24*c^2*x*y*z + 126*a^20*b^4*c^2*x*y*z - 456*a^18*b^6*c^2*x*y*z + 774*a^16*b^8*c^2*x*y*z - 648*a^14*b^10*c^2*x*y*z + 648*a^10*b^14*c^2*x*y*z - 774*a^8*b^16*c^2*x*y*z + 456*a^6*b^18*c^2*x*y*z - 126*a^4*b^20*c^2*x*y*z + 6*b^24*c^2*x*y*z + 54*a^22*c^4*x*y*z - 126*a^20*b^2*c^4*x*y*z + 342*a^16*b^6*c^4*x*y*z - 612*a^14*b^8*c^4*x*y*z + 666*a^12*b^10*c^4*x*y*z - 666*a^10*b^12*c^4*x*y*z + 612*a^8*b^14*c^4*x*y*z - 342*a^6*b^16*c^4*x*y*z + 126*a^2*b^20*c^4*x*y*z - 54*b^22*c^4*x*y*z - 228*a^20*c^6*x*y*z + 456*a^18*b^2*c^6*x*y*z - 342*a^16*b^4*c^6*x*y*z + 342*a^12*b^8*c^6*x*y*z - 342*a^8*b^12*c^6*x*y*z + 342*a^4*b^16*c^6*x*y*z - 456*a^2*b^18*c^6*x*y*z + 228*b^20*c^6*x*y*z + 600*a^18*c^8*x*y*z - 774*a^16*b^2*c^8*x*y*z + 612*a^14*b^4*c^8*x*y*z - 342*a^12*b^6*c^8*x*y*z + 342*a^6*b^12*c^8*x*y*z - 612*a^4*b^14*c^8*x*y*z + 774*a^2*b^16*c^8*x*y*z - 600*b^18*c^8*x*y*z - 1098*a^16*c^10*x*y*z + 648*a^14*b^2*c^10*x*y*z - 666*a^12*b^4*c^10*x*y*z + 666*a^4*b^12*c^10*x*y*z - 648*a^2*b^14*c^10*x*y*z + 1098*b^16*c^10*x*y*z + 1470*a^14*c^12*x*y*z + 666*a^10*b^4*c^12*x*y*z + 342*a^8*b^6*c^12*x*y*z - 342*a^6*b^8*c^12*x*y*z - 666*a^4*b^10*c^12*x*y*z - 1470*b^14*c^12*x*y*z - 1470*a^12*c^14*x*y*z - 648*a^10*b^2*c^14*x*y*z - 612*a^8*b^4*c^14*x*y*z + 612*a^4*b^8*c^14*x*y*z + 648*a^2*b^10*c^14*x*y*z + 1470*b^12*c^14*x*y*z + 1098*a^10*c^16*x*y*z + 774*a^8*b^2*c^16*x*y*z + 342*a^6*b^4*c^16*x*y*z - 342*a^4*b^6*c^16*x*y*z - 774*a^2*b^8*c^16*x*y*z - 1098*b^10*c^16*x*y*z - 600*a^8*c^18*x*y*z - 456*a^6*b^2*c^18*x*y*z + 456*a^2*b^6*c^18*x*y*z + 600*b^8*c^18*x*y*z + 228*a^6*c^20*x*y*z + 126*a^4*b^2*c^20*x*y*z - 126*a^2*b^4*c^20*x*y*z - 228*b^6*c^20*x*y*z - 54*a^4*c^22*x*y*z + 54*b^4*c^22*x*y*z + 6*a^2*c^24*x*y*z - 6*b^2*c^24*x*y*z + 3*a^24*b^2*y^2*z - 27*a^22*b^4*y^2*z + 114*a^20*b^6*y^2*z - 300*a^18*b^8*y^2*z + 549*a^16*b^10*y^2*z - 735*a^14*b^12*y^2*z + 735*a^12*b^14*y^2*z - 549*a^10*b^16*y^2*z + 300*a^8*b^18*y^2*z - 114*a^6*b^20*y^2*z + 27*a^4*b^22*y^2*z - 3*a^2*b^24*y^2*z - 3*a^24*c^2*y^2*z + 6*a^22*b^2*c^2*y^2*z + 15*a^20*b^4*c^2*y^2*z - 48*a^18*b^6*c^2*y^2*z - 33*a^16*b^8*c^2*y^2*z + 354*a^14*b^10*c^2*y^2*z - 792*a^12*b^12*c^2*y^2*z + 1002*a^10*b^14*c^2*y^2*z - 807*a^8*b^16*c^2*y^2*z + 408*a^6*b^18*c^2*y^2*z - 111*a^4*b^20*c^2*y^2*z + 6*a^2*b^22*c^2*y^2*z + 3*b^24*c^2*y^2*z + 27*a^22*c^4*y^2*z - 93*a^20*b^2*c^4*y^2*z + 162*a^18*b^4*c^4*y^2*z - 207*a^16*b^6*c^4*y^2*z + 156*a^14*b^8*c^4*y^2*z + 117*a^12*b^10*c^4*y^2*z - 549*a^10*b^12*c^4*y^2*z + 768*a^8*b^14*c^4*y^2*z - 549*a^6*b^16*c^4*y^2*z + 162*a^4*b^18*c^4*y^2*z + 33*a^2*b^20*c^4*y^2*z - 27*b^22*c^4*y^2*z - 114*a^20*c^6*y^2*z + 282*a^18*b^2*c^6*y^2*z - 387*a^16*b^4*c^6*y^2*z + 360*a^14*b^6*c^6*y^2*z + 3*a^12*b^8*c^6*y^2*z - 60*a^10*b^10*c^6*y^2*z - 339*a^8*b^12*c^6*y^2*z + 360*a^6*b^14*c^6*y^2*z - 45*a^4*b^16*c^6*y^2*z - 174*a^2*b^18*c^6*y^2*z + 114*b^20*c^6*y^2*z + 300*a^18*c^8*y^2*z - 393*a^16*b^2*c^8*y^2*z + 444*a^14*b^4*c^8*y^2*z + 183*a^12*b^6*c^8*y^2*z + 90*a^10*b^8*c^8*y^2*z + 90*a^8*b^10*c^8*y^2*z - 51*a^6*b^12*c^8*y^2*z - 168*a^4*b^14*c^8*y^2*z + 381*a^2*b^16*c^8*y^2*z - 300*b^18*c^8*y^2*z - 549*a^16*c^10*y^2*z + 156*a^14*b^2*c^10*y^2*z - 441*a^12*b^4*c^10*y^2*z - 546*a^10*b^6*c^10*y^2*z - 180*a^8*b^8*c^10*y^2*z - 258*a^6*b^10*c^10*y^2*z + 225*a^4*b^12*c^10*y^2*z - 492*a^2*b^14*c^10*y^2*z + 549*b^16*c^10*y^2*z + 735*a^14*c^12*y^2*z + 396*a^12*b^2*c^12*y^2*z + 657*a^10*b^4*c^12*y^2*z + 561*a^8*b^6*c^12*y^2*z + 507*a^6*b^8*c^12*y^2*z - 9*a^4*b^10*c^12*y^2*z + 396*a^2*b^12*c^12*y^2*z - 735*b^14*c^12*y^2*z - 735*a^12*c^14*y^2*z - 834*a^10*b^2*c^14*y^2*z - 906*a^8*b^4*c^14*y^2*z - 720*a^6*b^6*c^14*y^2*z - 294*a^4*b^8*c^14*y^2*z - 186*a^2*b^10*c^14*y^2*z + 735*b^12*c^14*y^2*z + 549*a^10*c^16*y^2*z + 813*a^8*b^2*c^16*y^2*z + 765*a^6*b^4*c^16*y^2*z + 423*a^4*b^6*c^16*y^2*z + 39*a^2*b^8*c^16*y^2*z - 549*b^10*c^16*y^2*z - 300*a^8*c^18*y^2*z - 462*a^6*b^2*c^18*y^2*z - 324*a^4*b^4*c^18*y^2*z - 6*a^2*b^6*c^18*y^2*z + 300*b^8*c^18*y^2*z + 114*a^6*c^20*y^2*z + 141*a^4*b^2*c^20*y^2*z + 15*a^2*b^4*c^20*y^2*z - 114*b^6*c^20*y^2*z - 27*a^4*c^22*y^2*z - 12*a^2*b^2*c^22*y^2*z + 27*b^4*c^22*y^2*z + 3*a^2*c^24*y^2*z - 3*b^2*c^24*y^2*z + 3*a^24*b^2*x*z^2 - 27*a^22*b^4*x*z^2 + 114*a^20*b^6*x*z^2 - 300*a^18*b^8*x*z^2 + 549*a^16*b^10*x*z^2 - 735*a^14*b^12*x*z^2 + 735*a^12*b^14*x*z^2 - 549*a^10*b^16*x*z^2 + 300*a^8*b^18*x*z^2 - 114*a^6*b^20*x*z^2 + 27*a^4*b^22*x*z^2 - 3*a^2*b^24*x*z^2 - 3*a^24*c^2*x*z^2 - 12*a^22*b^2*c^2*x*z^2 + 141*a^20*b^4*c^2*x*z^2 - 462*a^18*b^6*c^2*x*z^2 + 813*a^16*b^8*c^2*x*z^2 - 834*a^14*b^10*c^2*x*z^2 + 396*a^12*b^12*c^2*x*z^2 + 156*a^10*b^14*c^2*x*z^2 - 393*a^8*b^16*c^2*x*z^2 + 282*a^6*b^18*c^2*x*z^2 - 93*a^4*b^20*c^2*x*z^2 + 6*a^2*b^22*c^2*x*z^2 + 3*b^24*c^2*x*z^2 + 27*a^22*c^4*x*z^2 + 15*a^20*b^2*c^4*x*z^2 - 324*a^18*b^4*c^4*x*z^2 + 765*a^16*b^6*c^4*x*z^2 - 906*a^14*b^8*c^4*x*z^2 + 657*a^12*b^10*c^4*x*z^2 - 441*a^10*b^12*c^4*x*z^2 + 444*a^8*b^14*c^4*x*z^2 - 387*a^6*b^16*c^4*x*z^2 + 162*a^4*b^18*c^4*x*z^2 + 15*a^2*b^20*c^4*x*z^2 - 27*b^22*c^4*x*z^2 - 114*a^20*c^6*x*z^2 - 6*a^18*b^2*c^6*x*z^2 + 423*a^16*b^4*c^6*x*z^2 - 720*a^14*b^6*c^6*x*z^2 + 561*a^12*b^8*c^6*x*z^2 - 546*a^10*b^10*c^6*x*z^2 + 183*a^8*b^12*c^6*x*z^2 + 360*a^6*b^14*c^6*x*z^2 - 207*a^4*b^16*c^6*x*z^2 - 48*a^2*b^18*c^6*x*z^2 + 114*b^20*c^6*x*z^2 + 300*a^18*c^8*x*z^2 + 39*a^16*b^2*c^8*x*z^2 - 294*a^14*b^4*c^8*x*z^2 + 507*a^12*b^6*c^8*x*z^2 - 180*a^10*b^8*c^8*x*z^2 + 90*a^8*b^10*c^8*x*z^2 + 3*a^6*b^12*c^8*x*z^2 + 156*a^4*b^14*c^8*x*z^2 - 33*a^2*b^16*c^8*x*z^2 - 300*b^18*c^8*x*z^2 - 549*a^16*c^10*x*z^2 - 186*a^14*b^2*c^10*x*z^2 - 9*a^12*b^4*c^10*x*z^2 - 258*a^10*b^6*c^10*x*z^2 + 90*a^8*b^8*c^10*x*z^2 - 60*a^6*b^10*c^10*x*z^2 + 117*a^4*b^12*c^10*x*z^2 + 354*a^2*b^14*c^10*x*z^2 + 549*b^16*c^10*x*z^2 + 735*a^14*c^12*x*z^2 + 396*a^12*b^2*c^12*x*z^2 + 225*a^10*b^4*c^12*x*z^2 - 51*a^8*b^6*c^12*x*z^2 - 339*a^6*b^8*c^12*x*z^2 - 549*a^4*b^10*c^12*x*z^2 - 792*a^2*b^12*c^12*x*z^2 - 735*b^14*c^12*x*z^2 - 735*a^12*c^14*x*z^2 - 492*a^10*b^2*c^14*x*z^2 - 168*a^8*b^4*c^14*x*z^2 + 360*a^6*b^6*c^14*x*z^2 + 768*a^4*b^8*c^14*x*z^2 + 1002*a^2*b^10*c^14*x*z^2 + 735*b^12*c^14*x*z^2 + 549*a^10*c^16*x*z^2 + 381*a^8*b^2*c^16*x*z^2 - 45*a^6*b^4*c^16*x*z^2 - 549*a^4*b^6*c^16*x*z^2 - 807*a^2*b^8*c^16*x*z^2 - 549*b^10*c^16*x*z^2 - 300*a^8*c^18*x*z^2 - 174*a^6*b^2*c^18*x*z^2 + 162*a^4*b^4*c^18*x*z^2 + 408*a^2*b^6*c^18*x*z^2 + 300*b^8*c^18*x*z^2 + 114*a^6*c^20*x*z^2 + 33*a^4*b^2*c^20*x*z^2 - 111*a^2*b^4*c^20*x*z^2 - 114*b^6*c^20*x*z^2 - 27*a^4*c^22*x*z^2 + 6*a^2*b^2*c^22*x*z^2 + 27*b^4*c^22*x*z^2 + 3*a^2*c^24*x*z^2 - 3*b^2*c^24*x*z^2 + 3*a^24*b^2*y*z^2 - 27*a^22*b^4*y*z^2 + 114*a^20*b^6*y*z^2 - 300*a^18*b^8*y*z^2 + 549*a^16*b^10*y*z^2 - 735*a^14*b^12*y*z^2 + 735*a^12*b^14*y*z^2 - 549*a^10*b^16*y*z^2 + 300*a^8*b^18*y*z^2 - 114*a^6*b^20*y*z^2 + 27*a^4*b^22*y*z^2 - 3*a^2*b^24*y*z^2 - 3*a^24*c^2*y*z^2 - 6*a^22*b^2*c^2*y*z^2 + 93*a^20*b^4*c^2*y*z^2 - 282*a^18*b^6*c^2*y*z^2 + 393*a^16*b^8*c^2*y*z^2 - 156*a^14*b^10*c^2*y*z^2 - 396*a^12*b^12*c^2*y*z^2 + 834*a^10*b^14*c^2*y*z^2 - 813*a^8*b^16*c^2*y*z^2 + 462*a^6*b^18*c^2*y*z^2 - 141*a^4*b^20*c^2*y*z^2 + 12*a^2*b^22*c^2*y*z^2 + 3*b^24*c^2*y*z^2 + 27*a^22*c^4*y*z^2 - 15*a^20*b^2*c^4*y*z^2 - 162*a^18*b^4*c^4*y*z^2 + 387*a^16*b^6*c^4*y*z^2 - 444*a^14*b^8*c^4*y*z^2 + 441*a^12*b^10*c^4*y*z^2 - 657*a^10*b^12*c^4*y*z^2 + 906*a^8*b^14*c^4*y*z^2 - 765*a^6*b^16*c^4*y*z^2 + 324*a^4*b^18*c^4*y*z^2 - 15*a^2*b^20*c^4*y*z^2 - 27*b^22*c^4*y*z^2 - 114*a^20*c^6*y*z^2 + 48*a^18*b^2*c^6*y*z^2 + 207*a^16*b^4*c^6*y*z^2 - 360*a^14*b^6*c^6*y*z^2 - 183*a^12*b^8*c^6*y*z^2 + 546*a^10*b^10*c^6*y*z^2 - 561*a^8*b^12*c^6*y*z^2 + 720*a^6*b^14*c^6*y*z^2 - 423*a^4*b^16*c^6*y*z^2 + 6*a^2*b^18*c^6*y*z^2 + 114*b^20*c^6*y*z^2 + 300*a^18*c^8*y*z^2 + 33*a^16*b^2*c^8*y*z^2 - 156*a^14*b^4*c^8*y*z^2 - 3*a^12*b^6*c^8*y*z^2 - 90*a^10*b^8*c^8*y*z^2 + 180*a^8*b^10*c^8*y*z^2 - 507*a^6*b^12*c^8*y*z^2 + 294*a^4*b^14*c^8*y*z^2 - 39*a^2*b^16*c^8*y*z^2 - 300*b^18*c^8*y*z^2 - 549*a^16*c^10*y*z^2 - 354*a^14*b^2*c^10*y*z^2 - 117*a^12*b^4*c^10*y*z^2 + 60*a^10*b^6*c^10*y*z^2 - 90*a^8*b^8*c^10*y*z^2 + 258*a^6*b^10*c^10*y*z^2 + 9*a^4*b^12*c^10*y*z^2 + 186*a^2*b^14*c^10*y*z^2 + 549*b^16*c^10*y*z^2 + 735*a^14*c^12*y*z^2 + 792*a^12*b^2*c^12*y*z^2 + 549*a^10*b^4*c^12*y*z^2 + 339*a^8*b^6*c^12*y*z^2 + 51*a^6*b^8*c^12*y*z^2 - 225*a^4*b^10*c^12*y*z^2 - 396*a^2*b^12*c^12*y*z^2 - 735*b^14*c^12*y*z^2 - 735*a^12*c^14*y*z^2 - 1002*a^10*b^2*c^14*y*z^2 - 768*a^8*b^4*c^14*y*z^2 - 360*a^6*b^6*c^14*y*z^2 + 168*a^4*b^8*c^14*y*z^2 + 492*a^2*b^10*c^14*y*z^2 + 735*b^12*c^14*y*z^2 + 549*a^10*c^16*y*z^2 + 807*a^8*b^2*c^16*y*z^2 + 549*a^6*b^4*c^16*y*z^2 + 45*a^4*b^6*c^16*y*z^2 - 381*a^2*b^8*c^16*y*z^2 - 549*b^10*c^16*y*z^2 - 300*a^8*c^18*y*z^2 - 408*a^6*b^2*c^18*y*z^2 - 162*a^4*b^4*c^18*y*z^2 + 174*a^2*b^6*c^18*y*z^2 + 300*b^8*c^18*y*z^2 + 114*a^6*c^20*y*z^2 + 111*a^4*b^2*c^20*y*z^2 - 33*a^2*b^4*c^20*y*z^2 - 114*b^6*c^20*y*z^2 - 27*a^4*c^22*y*z^2 - 6*a^2*b^2*c^22*y*z^2 + 27*b^4*c^22*y*z^2 + 3*a^2*c^24*y*z^2 - 3*b^2*c^24*y*z^2 + a^24*b^2*z^3 - 9*a^22*b^4*z^3 + 38*a^20*b^6*z^3 - 100*a^18*b^8*z^3 + 183*a^16*b^10*z^3 - 245*a^14*b^12*z^3 + 245*a^12*b^14*z^3 - 183*a^10*b^16*z^3 + 100*a^8*b^18*z^3 - 38*a^6*b^20*z^3 + 9*a^4*b^22*z^3 - a^2*b^24*z^3 - a^24*c^2*z^3 - 6*a^22*b^2*c^2*z^3 + 57*a^20*b^4*c^2*z^3 - 172*a^18*b^6*c^2*z^3 + 273*a^16*b^8*c^2*z^3 - 222*a^14*b^10*c^2*z^3 + 222*a^10*b^14*c^2*z^3 - 273*a^8*b^16*c^2*z^3 + 172*a^6*b^18*c^2*z^3 - 57*a^4*b^20*c^2*z^3 + 6*a^2*b^22*c^2*z^3 + b^24*c^2*z^3 + 9*a^22*c^4*z^3 + 21*a^20*b^2*c^4*z^3 - 162*a^18*b^4*c^4*z^3 + 327*a^16*b^6*c^4*z^3 - 348*a^14*b^8*c^4*z^3 + 255*a^12*b^10*c^4*z^3 - 255*a^10*b^12*c^4*z^3 + 348*a^8*b^14*c^4*z^3 - 327*a^6*b^16*c^4*z^3 + 162*a^4*b^18*c^4*z^3 - 21*a^2*b^20*c^4*z^3 - 9*b^22*c^4*z^3 - 38*a^20*c^6*z^3 - 62*a^18*b^2*c^6*z^3 + 267*a^16*b^4*c^6*z^3 - 360*a^14*b^6*c^6*z^3 + 357*a^12*b^8*c^6*z^3 - 357*a^8*b^12*c^6*z^3 + 360*a^6*b^14*c^6*z^3 - 267*a^4*b^16*c^6*z^3 + 62*a^2*b^18*c^6*z^3 + 38*b^20*c^6*z^3 + 100*a^18*c^8*z^3 + 153*a^16*b^2*c^8*z^3 - 252*a^14*b^4*c^8*z^3 + 321*a^12*b^6*c^8*z^3 - 90*a^10*b^8*c^8*z^3 + 90*a^8*b^10*c^8*z^3 - 321*a^6*b^12*c^8*z^3 + 252*a^4*b^14*c^8*z^3 - 153*a^2*b^16*c^8*z^3 - 100*b^18*c^8*z^3 - 183*a^16*c^10*z^3 - 288*a^14*b^2*c^10*z^3 + 69*a^12*b^4*c^10*z^3 - 258*a^10*b^6*c^10*z^3 + 258*a^6*b^10*c^10*z^3 - 69*a^4*b^12*c^10*z^3 + 288*a^2*b^14*c^10*z^3 + 183*b^16*c^10*z^3 + 245*a^14*c^12*z^3 + 396*a^12*b^2*c^12*z^3 + 147*a^10*b^4*c^12*z^3 + 135*a^8*b^6*c^12*z^3 - 135*a^6*b^8*c^12*z^3 - 147*a^4*b^10*c^12*z^3 - 396*a^2*b^12*c^12*z^3 - 245*b^14*c^12*z^3 - 245*a^12*c^14*z^3 - 390*a^10*b^2*c^14*z^3 - 210*a^8*b^4*c^14*z^3 + 210*a^4*b^8*c^14*z^3 + 390*a^2*b^10*c^14*z^3 + 245*b^12*c^14*z^3 + 183*a^10*c^16*z^3 + 267*a^8*b^2*c^16*z^3 + 111*a^6*b^4*c^16*z^3 - 111*a^4*b^6*c^16*z^3 - 267*a^2*b^8*c^16*z^3 - 183*b^10*c^16*z^3 - 100*a^8*c^18*z^3 - 118*a^6*b^2*c^18*z^3 + 118*a^2*b^6*c^18*z^3 + 100*b^8*c^18*z^3 + 38*a^6*c^20*z^3 + 27*a^4*b^2*c^20*z^3 - 27*a^2*b^4*c^20*z^3 - 38*b^6*c^20*z^3 - 9*a^4*c^22*z^3 + 9*b^4*c^22*z^3 + a^2*c^24*z^3 - b^2*c^24*z^3 = 0