Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- a_1^3*a_0^2*c_2*c_1*c_0^2 - 1/3*a_1^3*a_0*b_2*b_0^2*c_1*c_0 - 1/3*a_1^3*a_0*b_1*b_0^2*c_2*c_0 - a_1^3*a_0*b_0^2*c_2*c_1*c_0 + 1/3*a_1^3*a_0*b_0*c_2*c_1*c_0^2 - 5/3*a_1^3*a_0*c_2*c_1*c_0^3 - 1/3*a_1^3*b_0^3*c_2*c_1*c_0 + 5/3*a_1^3*b_0^2*c_2*c_1*c_0^2 + a_1^2*a_0^3*c_2*c_1^2*c_0 - 1/3*a_1^2*a_0^2*b_2*b_1^2*c_0^2 - 1/3*a_1^2*a_0^2*b_2*b_1*b_0*c_1*c_0 - 1/3*a_1^2*a_0^2*b_2*b_0^2*c_1^2 + a_1^2*a_0^2*b_1^2*c_2*c_0^2 + 2*a_1^2*a_0^2*b_1*b_0*c_2*c_1*c_0 + 7*a_1^2*a_0^2*b_1*c_2*c_1*c_0^2 + a_1^2*a_0^2*b_0^2*c_2*c_1^2 + 7*a_1^2*a_0^2*b_0*c_2*c_1^2*c_0 + 4/3*a_1^2*a_0^2*c_2*c_1^2*c_0^2 + 2/3*a_1^2*a_0*b_2*b_1^2*b_0^2*c_0 + 1/3*a_1^2*a_0*b_2*b_1*b_0^3*c_1 - 2*a_1^2*a_0*b_2*b_1*b_0^2*c_1*c_0 - a_1^2*a_0*b_2*b_1*b_0*c_1*c_0^2 + 10/3*a_1^2*a_0*b_2*b_1*c_1*c_0^3 - 2*a_1^2*a_0*b_2*b_0^3*c_1^2 - 19/3*a_1^2*a_0*b_2*b_0^2*c_1^2*c_0 - 4/3*a_1^2*a_0*b_2*b_0*c_1^2*c_0^2 + 10*a_1^2*a_0*b_2*c_1^2*c_0^3 - 3*a_1^2*a_0*b_1^2*b_0^2*c_2*c_0 - 1/3*a_1^2*a_0*b_1^2*b_0*c_2*c_0^2 + 5/3*a_1^2*a_0*b_1^2*c_2*c_0^3 - 2*a_1^2*a_0*b_1*b_0^3*c_2*c_1 - 22/3*a_1^2*a_0*b_1*b_0^2*c_2*c_1*c_0 + 4/3*a_1^2*a_0*b_1*b_0*c_2*c_1*c_0^2 - 10*a_1^2*a_0*b_1*c_2*c_1*c_0^3 + 4/3*a_1^2*a_0*b_0^2*c_2*c_1^2*c_0 - 55/3*a_1^2*a_0*b_0*c_2*c_1^2*c_0^2 - 5*a_1^2*a_0*c_2*c_1^2*c_0^3 - 1/3*a_1^2*b_2*b_1^2*b_0^4 + 2*a_1^2*b_2*b_1*b_0^4*c_1 + a_1^2*b_2*b_1*b_0^3*c_1*c_0 - 10/3*a_1^2*b_2*b_1*b_0^2*c_1*c_0^2 - 1/3*a_1^2*b_2*b_0^4*c_1^2 - 4/3*a_1^2*b_2*b_0^3*c_1^2*c_0 + 25/3*a_1^2*b_2*b_0^2*c_1^2*c_0^2 + 10*a_1^2*b_2*b_0*c_1^2*c_0^3 - 50/3*a_1^2*b_2*c_1^2*c_0^4 + 2*a_1^2*b_1^2*b_0^4*c_2 + 1/3*a_1^2*b_1^2*b_0^3*c_2*c_0 - 5/3*a_1^2*b_1^2*b_0^2*c_2*c_0^2 + 1/3*a_1^2*b_1*b_0^4*c_2*c_1 - 4/3*a_1^2*b_1*b_0^3*c_2*c_1*c_0 + 10*a_1^2*b_1*b_0^2*c_2*c_1*c_0^2 - 5*a_1^2*b_0^2*c_2*c_1^2*c_0^2 + 50/3*a_1^2*b_0*c_2*c_1^2*c_0^3 - 1/3*a_1*a_0^3*b_2*b_1^2*c_1*c_0 - 1/3*a_1*a_0^3*b_1^2*b_0*c_2*c_1 - a_1*a_0^3*b_1^2*c_2*c_1*c_0 + 1/3*a_1*a_0^3*b_1*c_2*c_1^2*c_0 - 5/3*a_1*a_0^3*c_2*c_1^3*c_0 + 1/3*a_1*a_0^2*b_2*b_1^3*b_0*c_0 - 2*a_1*a_0^2*b_2*b_1^3*c_0^2 + 2/3*a_1*a_0^2*b_2*b_1^2*b_0^2*c_1 - 2*a_1*a_0^2*b_2*b_1^2*b_0*c_1*c_0 - 19/3*a_1*a_0^2*b_2*b_1^2*c_1*c_0^2 - a_1*a_0^2*b_2*b_1*b_0*c_1^2*c_0 - 4/3*a_1*a_0^2*b_2*b_1*c_1^2*c_0^2 + 10/3*a_1*a_0^2*b_2*b_0*c_1^3*c_0 + 10*a_1*a_0^2*b_2*c_1^3*c_0^2 - 2*a_1*a_0^2*b_1^3*b_0*c_2*c_0 - 3*a_1*a_0^2*b_1^2*b_0^2*c_2*c_1 - 22/3*a_1*a_0^2*b_1^2*b_0*c_2*c_1*c_0 + 4/3*a_1*a_0^2*b_1^2*c_2*c_1*c_0^2 - 1/3*a_1*a_0^2*b_1*b_0^2*c_2*c_1^2 + 4/3*a_1*a_0^2*b_1*b_0*c_2*c_1^2*c_0 - 55/3*a_1*a_0^2*b_1*c_2*c_1^2*c_0^2 + 5/3*a_1*a_0^2*b_0^2*c_2*c_1^3 - 10*a_1*a_0^2*b_0*c_2*c_1^3*c_0 - 5*a_1*a_0^2*c_2*c_1^3*c_0^2 - 1/3*a_1*a_0*b_2*b_1^3*b_0^3 + 6*a_1*a_0*b_2*b_1^3*b_0^2*c_0 + a_1*a_0*b_2*b_1^3*b_0*c_0^2 - 10/3*a_1*a_0*b_2*b_1^3*c_0^3 + 6*a_1*a_0*b_2*b_1^2*b_0^3*c_1 + 14*a_1*a_0*b_2*b_1^2*b_0^2*c_1*c_0 - 10/3*a_1*a_0*b_2*b_1^2*b_0*c_1*c_0^2 + a_1*a_0*b_2*b_1*b_0^3*c_1^2 - 10/3*a_1*a_0*b_2*b_1*b_0^2*c_1^2*c_0 - 3*a_1*a_0*b_2*b_1*b_0*c_1^2*c_0^2 + 10*a_1*a_0*b_2*b_1*c_1^2*c_0^3 - 10/3*a_1*a_0*b_2*b_0^3*c_1^3 + 10*a_1*a_0*b_2*b_0*c_1^3*c_0^2 - 100/3*a_1*a_0*b_2*c_1^3*c_0^3 + 2*a_1*a_0*b_1^3*b_0^3*c_2 - 19/3*a_1*a_0*b_1^3*b_0^2*c_2*c_0 - 4/3*a_1*a_0*b_1^3*b_0*c_2*c_0^2 + 10*a_1*a_0*b_1^3*c_2*c_0^3 - 19/3*a_1*a_0*b_1^2*b_0^3*c_2*c_1 - 14/3*a_1*a_0*b_1^2*b_0^2*c_2*c_1*c_0 + 85/3*a_1*a_0*b_1^2*b_0*c_2*c_1*c_0^2 + 5*a_1*a_0*b_1^2*c_2*c_1*c_0^3 - 4/3*a_1*a_0*b_1*b_0^3*c_2*c_1^2 + 85/3*a_1*a_0*b_1*b_0^2*c_2*c_1^2*c_0 - 10*a_1*a_0*b_1*b_0*c_2*c_1^2*c_0^2 + 50/3*a_1*a_0*b_1*c_2*c_1^2*c_0^3 + 10*a_1*a_0*b_0^3*c_2*c_1^3 + 5*a_1*a_0*b_0^2*c_2*c_1^3*c_0 + 50/3*a_1*a_0*b_0*c_2*c_1^3*c_0^2 - 4*a_1*b_2*b_1^3*b_0^4 - a_1*b_2*b_1^3*b_0^3*c_0 + 10/3*a_1*b_2*b_1^3*b_0^2*c_0^2 + 19/3*a_1*b_2*b_1^2*b_0^4*c_1 + 26/3*a_1*b_2*b_1^2*b_0^3*c_1*c_0 - 37*a_1*b_2*b_1^2*b_0^2*c_1*c_0^2 - 20*a_1*b_2*b_1^2*b_0*c_1*c_0^3 + 100/3*a_1*b_2*b_1^2*c_1*c_0^4 + 14/3*a_1*b_2*b_1*b_0^4*c_1^2 + 3*a_1*b_2*b_1*b_0^3*c_1^2*c_0 - 10*a_1*b_2*b_1*b_0^2*c_1^2*c_0^2 - 10*a_1*b_2*b_0^4*c_1^3 - 10*a_1*b_2*b_0^3*c_1^3*c_0 + 100/3*a_1*b_2*b_0^2*c_1^3*c_0^2 + 19/3*a_1*b_1^3*b_0^4*c_2 + 4/3*a_1*b_1^3*b_0^3*c_2*c_0 - 10*a_1*b_1^3*b_0^2*c_2*c_0^2 - 2*a_1*b_1^2*b_0^4*c_2*c_1 + 25/3*a_1*b_1^2*b_0^3*c_2*c_1*c_0 + 15*a_1*b_1^2*b_0^2*c_2*c_1*c_0^2 - 100/3*a_1*b_1^2*b_0*c_2*c_1*c_0^3 - 10*a_1*b_1*b_0^4*c_2*c_1^2 + 10*a_1*b_1*b_0^3*c_2*c_1^2*c_0 - 50/3*a_1*b_1*b_0^2*c_2*c_1^2*c_0^2 - 50/3*a_1*b_0^3*c_2*c_1^3*c_0 - 1/3*a_0^3*b_1^3*c_2*c_1*c_0 + 5/3*a_0^3*b_1^2*c_2*c_1^2*c_0 - 1/3*a_0^2*b_2*b_1^4*b_0^2 + 2*a_0^2*b_2*b_1^4*b_0*c_0 - 1/3*a_0^2*b_2*b_1^4*c_0^2 + a_0^2*b_2*b_1^3*b_0*c_1*c_0 - 4/3*a_0^2*b_2*b_1^3*c_1*c_0^2 - 10/3*a_0^2*b_2*b_1^2*b_0*c_1^2*c_0 + 25/3*a_0^2*b_2*b_1^2*c_1^2*c_0^2 + 10*a_0^2*b_2*b_1*c_1^3*c_0^2 - 50/3*a_0^2*b_2*c_1^4*c_0^2 + 2*a_0^2*b_1^4*b_0^2*c_2 + 1/3*a_0^2*b_1^4*b_0*c_2*c_0 + 1/3*a_0^2*b_1^3*b_0^2*c_2*c_1 - 4/3*a_0^2*b_1^3*b_0*c_2*c_1*c_0 - 5/3*a_0^2*b_1^2*b_0^2*c_2*c_1^2 + 10*a_0^2*b_1^2*b_0*c_2*c_1^2*c_0 - 5*a_0^2*b_1^2*c_2*c_1^2*c_0^2 + 50/3*a_0^2*b_1*c_2*c_1^3*c_0^2 - 4*a_0*b_2*b_1^4*b_0^3 + 19/3*a_0*b_2*b_1^4*b_0^2*c_0 + 14/3*a_0*b_2*b_1^4*b_0*c_0^2 - 10*a_0*b_2*b_1^4*c_0^3 - a_0*b_2*b_1^3*b_0^3*c_1 + 26/3*a_0*b_2*b_1^3*b_0^2*c_1*c_0 + 3*a_0*b_2*b_1^3*b_0*c_1*c_0^2 - 10*a_0*b_2*b_1^3*c_1*c_0^3 + 10/3*a_0*b_2*b_1^2*b_0^3*c_1^2 - 37*a_0*b_2*b_1^2*b_0^2*c_1^2*c_0 - 10*a_0*b_2*b_1^2*b_0*c_1^2*c_0^2 + 100/3*a_0*b_2*b_1^2*c_1^2*c_0^3 - 20*a_0*b_2*b_1*b_0^2*c_1^3*c_0 + 100/3*a_0*b_2*b_0^2*c_1^4*c_0 + 19/3*a_0*b_1^4*b_0^3*c_2 - 2*a_0*b_1^4*b_0^2*c_2*c_0 - 10*a_0*b_1^4*b_0*c_2*c_0^2 + 4/3*a_0*b_1^3*b_0^3*c_2*c_1 + 25/3*a_0*b_1^3*b_0^2*c_2*c_1*c_0 + 10*a_0*b_1^3*b_0*c_2*c_1*c_0^2 - 50/3*a_0*b_1^3*c_2*c_1*c_0^3 - 10*a_0*b_1^2*b_0^3*c_2*c_1^2 + 15*a_0*b_1^2*b_0^2*c_2*c_1^2*c_0 - 50/3*a_0*b_1^2*b_0*c_2*c_1^2*c_0^2 - 100/3*a_0*b_1*b_0^2*c_2*c_1^3*c_0 - 13*b_2*b_1^4*b_0^4 - 22/3*b_2*b_1^4*b_0^3*c_0 + 85/3*b_2*b_1^4*b_0^2*c_0^2 + 10*b_2*b_1^4*b_0*c_0^3 - 50/3*b_2*b_1^4*c_0^4 - 22/3*b_2*b_1^3*b_0^4*c_1 - 3*b_2*b_1^3*b_0^3*c_1*c_0 + 10*b_2*b_1^3*b_0^2*c_1*c_0^2 + 85/3*b_2*b_1^2*b_0^4*c_1^2 + 10*b_2*b_1^2*b_0^3*c_1^2*c_0 - 100/3*b_2*b_1^2*b_0^2*c_1^2*c_0^2 + 10*b_2*b_1*b_0^4*c_1^3 - 50/3*b_2*b_0^4*c_1^4 + 14/3*b_1^4*b_0^4*c_2 - 25/3*b_1^4*b_0^3*c_2*c_0 - 10*b_1^4*b_0^2*c_2*c_0^2 + 50/3*b_1^4*b_0*c_2*c_0^3 - 25/3*b_1^3*b_0^4*c_2*c_1 - 10*b_1^3*b_0^3*c_2*c_1*c_0 + 50/3*b_1^3*b_0^2*c_2*c_1*c_0^2 - 10*b_1^2*b_0^4*c_2*c_1^2 + 50/3*b_1^2*b_0^3*c_2*c_1^2*c_0 + 50/3*b_1*b_0^4*c_2*c_1^3
- a_2*a_0^2*b_1^3*c_0^2 + 6*a_2*a_0^2*b_1^2*c_1*c_0^2 + 3*a_2*a_0^2*b_1*c_1^2*c_0^2 - 10*a_2*a_0^2*c_1^3*c_0^2 - 2*a_2*a_0*b_1^3*b_0^2*c_0 - 12*a_2*a_0*b_1^2*b_0^2*c_1*c_0 - 6*a_2*a_0*b_1*b_0^2*c_1^2*c_0 + 20*a_2*a_0*b_0^2*c_1^3*c_0 + a_2*b_1^3*b_0^4 + 6*a_2*b_1^2*b_0^4*c_1 + 3*a_2*b_1*b_0^4*c_1^2 - 10*a_2*b_0^4*c_1^3 - a_1^2*a_0^2*b_2*c_1*c_0^2 - a_1^2*a_0^2*b_1*c_2*c_0^2 - a_1^2*a_0^2*b_0*c_2*c_1*c_0 - 6*a_1^2*a_0^2*c_2*c_1*c_0^2 + 2*a_1^2*a_0*b_2*b_0^2*c_1*c_0 + 2*a_1^2*a_0*b_1*b_0^2*c_2*c_0 + a_1^2*a_0*b_0^3*c_2*c_1 + 6*a_1^2*a_0*b_0^2*c_2*c_1*c_0 - 3*a_1^2*a_0*b_0*c_2*c_1*c_0^2 + 10*a_1^2*a_0*c_2*c_1*c_0^3 - a_1^2*b_2*b_0^4*c_1 - a_1^2*b_1*b_0^4*c_2 + 3*a_1^2*b_0^3*c_2*c_1*c_0 - 10*a_1^2*b_0^2*c_2*c_1*c_0^2 - a_1*a_0^3*b_2*c_1^2*c_0 - a_1*a_0^3*b_1*c_2*c_1*c_0 - a_1*a_0^3*b_0*c_2*c_1^2 - 6*a_1*a_0^3*c_2*c_1^2*c_0 + a_1*a_0^2*b_2*b_1^2*c_0^2 + 2*a_1*a_0^2*b_2*b_1*b_0*c_1*c_0 + 2*a_1*a_0^2*b_2*b_0^2*c_1^2 - 6*a_1*a_0^2*b_1^2*c_2*c_0^2 + a_1*a_0^2*b_1*b_0^2*c_2*c_1 - 12*a_1*a_0^2*b_1*b_0*c_2*c_1*c_0 - 39*a_1*a_0^2*b_1*c_2*c_1*c_0^2 - 6*a_1*a_0^2*b_0^2*c_2*c_1^2 - 42*a_1*a_0^2*b_0*c_2*c_1^2*c_0 - 18*a_1*a_0^2*c_2*c_1^2*c_0^2 - 2*a_1*a_0*b_2*b_1^2*b_0^2*c_0 - 2*a_1*a_0*b_2*b_1*b_0^3*c_1 + 12*a_1*a_0*b_2*b_1*b_0^2*c_1*c_0 + 6*a_1*a_0*b_2*b_1*b_0*c_1*c_0^2 - 20*a_1*a_0*b_2*b_1*c_1*c_0^3 + 12*a_1*a_0*b_2*b_0^3*c_1^2 + 39*a_1*a_0*b_2*b_0^2*c_1^2*c_0 + 8*a_1*a_0*b_2*b_0*c_1^2*c_0^2 - 60*a_1*a_0*b_2*c_1^2*c_0^3 + 12*a_1*a_0*b_1^2*b_0^2*c_2*c_0 + 12*a_1*a_0*b_1*b_0^3*c_2*c_1 + 39*a_1*a_0*b_1*b_0^2*c_2*c_1*c_0 - 8*a_1*a_0*b_1*b_0*c_2*c_1*c_0^2 + 60*a_1*a_0*b_1*c_2*c_1*c_0^3 + 12*a_1*a_0*b_0^2*c_2*c_1^2*c_0 + 111*a_1*a_0*b_0*c_2*c_1^2*c_0^2 + 30*a_1*a_0*c_2*c_1^2*c_0^3 + a_1*b_2*b_1^2*b_0^4 - 12*a_1*b_2*b_1*b_0^4*c_1 - 6*a_1*b_2*b_1*b_0^3*c_1*c_0 + 20*a_1*b_2*b_1*b_0^2*c_1*c_0^2 + 3*a_1*b_2*b_0^4*c_1^2 + 8*a_1*b_2*b_0^3*c_1^2*c_0 - 51*a_1*b_2*b_0^2*c_1^2*c_0^2 - 60*a_1*b_2*b_0*c_1^2*c_0^3 + 100*a_1*b_2*c_1^2*c_0^4 - 6*a_1*b_1^2*b_0^4*c_2 + 8*a_1*b_1*b_0^3*c_2*c_1*c_0 - 60*a_1*b_1*b_0^2*c_2*c_1*c_0^2 - 10*a_1*b_0^4*c_2*c_1^2 + 30*a_1*b_0^2*c_2*c_1^2*c_0^2 - 100*a_1*b_0*c_2*c_1^2*c_0^3 + a_0^3*b_2*b_1^2*c_1*c_0 + a_0^3*b_1^3*c_2*c_0 + a_0^3*b_1^2*b_0*c_2*c_1 + 6*a_0^3*b_1^2*c_2*c_1*c_0 - a_0^2*b_2*b_1^3*b_0*c_0 + 6*a_0^2*b_2*b_1^3*c_0^2 - 2*a_0^2*b_2*b_1^2*b_0^2*c_1 + 6*a_0^2*b_2*b_1^2*b_0*c_1*c_0 + 36*a_0^2*b_2*b_1^2*c_1*c_0^2 + 3*a_0^2*b_2*b_1*b_0*c_1^2*c_0 + 18*a_0^2*b_2*b_1*c_1^2*c_0^2 - 10*a_0^2*b_2*b_0*c_1^3*c_0 - 60*a_0^2*b_2*c_1^3*c_0^2 - a_0^2*b_1^3*b_0^2*c_2 + 6*a_0^2*b_1^3*b_0*c_2*c_0 + 6*a_0^2*b_1^2*b_0^2*c_2*c_1 + 39*a_0^2*b_1^2*b_0*c_2*c_1*c_0 + 10*a_0^2*b_1^2*c_2*c_1*c_0^2 + 10*a_0^2*b_1*b_0*c_2*c_1^2*c_0 + 60*a_0^2*b_1*c_2*c_1^2*c_0^2 + a_0*b_2*b_1^3*b_0^3 - 18*a_0*b_2*b_1^3*b_0^2*c_0 - 3*a_0*b_2*b_1^3*b_0*c_0^2 + 10*a_0*b_2*b_1^3*c_0^3 - 18*a_0*b_2*b_1^2*b_0^3*c_1 - 75*a_0*b_2*b_1^2*b_0^2*c_1*c_0 + 10*a_0*b_2*b_1^2*b_0*c_1*c_0^2 - 3*a_0*b_2*b_1*b_0^3*c_1^2 - 18*a_0*b_2*b_1*b_0^2*c_1^2*c_0 + 9*a_0*b_2*b_1*b_0*c_1^2*c_0^2 - 30*a_0*b_2*b_1*c_1^2*c_0^3 + 10*a_0*b_2*b_0^3*c_1^3 + 60*a_0*b_2*b_0^2*c_1^3*c_0 - 30*a_0*b_2*b_0*c_1^3*c_0^2 + 100*a_0*b_2*c_1^3*c_0^3 - 6*a_0*b_1^3*b_0^3*c_2 + 3*a_0*b_1^3*b_0^2*c_2*c_0 - 10*a_0*b_1^3*b_0*c_2*c_0^2 + 3*a_0*b_1^2*b_0^3*c_2*c_1 - 14*a_0*b_1^2*b_0^2*c_2*c_1*c_0 - 120*a_0*b_1^2*b_0*c_2*c_1*c_0^2 - 10*a_0*b_1*b_0^3*c_2*c_1^2 - 60*a_0*b_1*b_0^2*c_2*c_1^2*c_0 + 30*a_0*b_1*b_0*c_2*c_1^2*c_0^2 - 100*a_0*b_1*c_2*c_1^2*c_0^3 + 12*b_2*b_1^3*b_0^4 + 3*b_2*b_1^3*b_0^3*c_0 - 10*b_2*b_1^3*b_0^2*c_0^2 - 3*b_2*b_1^2*b_0^4*c_1 - 26*b_2*b_1^2*b_0^3*c_1*c_0 + 111*b_2*b_1^2*b_0^2*c_1*c_0^2 + 60*b_2*b_1^2*b_0*c_1*c_0^3 - 100*b_2*b_1^2*c_1*c_0^4 - 9*b_2*b_1*b_0^3*c_1^2*c_0 + 30*b_2*b_1*b_0^2*c_1^2*c_0^2 + 30*b_2*b_0^3*c_1^3*c_0 - 100*b_2*b_0^2*c_1^3*c_0^2 - 3*b_1^3*b_0^4*c_2 + 10*b_1^3*b_0^3*c_2*c_0 + 20*b_1^2*b_0^4*c_2*c_1 + 9*b_1^2*b_0^3*c_2*c_1*c_0 - 60*b_1^2*b_0^2*c_2*c_1*c_0^2 + 100*b_1^2*b_0*c_2*c_1*c_0^3 - 30*b_1*b_0^3*c_2*c_1^2*c_0 + 100*b_1*b_0^2*c_2*c_1^2*c_0^2
- a_2*a_1*b_0^3*c_1^2 + 6*a_2*a_1*b_0^2*c_1^2*c_0 + 3*a_2*a_1*b_0*c_1^2*c_0^2 - 10*a_2*a_1*c_1^2*c_0^3 + a_2*a_0*b_1^3*c_0^2 + 6*a_2*a_0*b_1^2*c_1*c_0^2 + 3*a_2*a_0*b_1*c_1^2*c_0^2 - 10*a_2*a_0*c_1^3*c_0^2 - a_2*b_1^3*b_0^2*c_0 - a_2*b_1^2*b_0^3*c_1 - 12*a_2*b_1^2*b_0^2*c_1*c_0 - 3*a_2*b_1^2*b_0*c_1*c_0^2 + 10*a_2*b_1^2*c_1*c_0^3 - 3*a_2*b_1*b_0^2*c_1^2*c_0 + 10*a_2*b_0^2*c_1^3*c_0 - a_1^2*a_0*b_2*c_1*c_0^2 - a_1^2*a_0*b_1*c_2*c_0^2 - a_1^2*a_0*b_0*c_2*c_1*c_0 - 6*a_1^2*a_0*c_2*c_1*c_0^2 + a_1^2*b_2*b_0^2*c_1*c_0 + a_1^2*b_1*b_0^2*c_2*c_0 + a_1^2*b_0^3*c_2*c_1 + 6*a_1^2*b_0^2*c_2*c_1*c_0 - a_1*a_0^2*b_2*c_1^2*c_0 - a_1*a_0^2*b_1*c_2*c_1*c_0 - a_1*a_0^2*b_0*c_2*c_1^2 - 6*a_1*a_0^2*c_2*c_1^2*c_0 + a_1*a_0*b_2*b_1^2*c_0^2 + 2*a_1*a_0*b_2*b_1*b_0*c_1*c_0 + a_1*a_0*b_2*b_0^2*c_1^2 - 6*a_1*a_0*b_1^2*c_2*c_0^2 - 12*a_1*a_0*b_1*b_0*c_2*c_1*c_0 - 39*a_1*a_0*b_1*c_2*c_1*c_0^2 - 6*a_1*a_0*b_0^2*c_2*c_1^2 - 39*a_1*a_0*b_0*c_2*c_1^2*c_0 - 28*a_1*a_0*c_2*c_1^2*c_0^2 - a_1*b_2*b_1^2*b_0^2*c_0 - a_1*b_2*b_1*b_0^3*c_1 + 6*a_1*b_2*b_1*b_0^2*c_1*c_0 + 3*a_1*b_2*b_1*b_0*c_1*c_0^2 - 10*a_1*b_2*b_1*c_1*c_0^3 + 6*a_1*b_2*b_0^3*c_1^2 + 36*a_1*b_2*b_0^2*c_1^2*c_0 + 18*a_1*b_2*b_0*c_1^2*c_0^2 - 60*a_1*b_2*c_1^2*c_0^3 + 6*a_1*b_1^2*b_0^2*c_2*c_0 + 6*a_1*b_1*b_0^3*c_2*c_1 + 36*a_1*b_1*b_0^2*c_2*c_1*c_0 + 10*a_1*b_1*b_0*c_2*c_1*c_0^2 + 20*a_1*b_0^2*c_2*c_1^2*c_0 + 60*a_1*b_0*c_2*c_1^2*c_0^2 + a_0^2*b_2*b_1^2*c_1*c_0 + a_0^2*b_1^3*c_2*c_0 + a_0^2*b_1^2*b_0*c_2*c_1 + 6*a_0^2*b_1^2*c_2*c_1*c_0 - a_0*b_2*b_1^3*b_0*c_0 + 6*a_0*b_2*b_1^3*c_0^2 - a_0*b_2*b_1^2*b_0^2*c_1 + 6*a_0*b_2*b_1^2*b_0*c_1*c_0 + 36*a_0*b_2*b_1^2*c_1*c_0^2 + 3*a_0*b_2*b_1*b_0*c_1^2*c_0 + 18*a_0*b_2*b_1*c_1^2*c_0^2 - 10*a_0*b_2*b_0*c_1^3*c_0 - 60*a_0*b_2*c_1^3*c_0^2 + 6*a_0*b_1^3*b_0*c_2*c_0 + 6*a_0*b_1^2*b_0^2*c_2*c_1 + 36*a_0*b_1^2*b_0*c_2*c_1*c_0 + 20*a_0*b_1^2*c_2*c_1*c_0^2 + 10*a_0*b_1*b_0*c_2*c_1^2*c_0 + 60*a_0*b_1*c_2*c_1^2*c_0^2 - 12*b_2*b_1^3*b_0^2*c_0 - 3*b_2*b_1^3*b_0*c_0^2 + 10*b_2*b_1^3*c_0^3 - 12*b_2*b_1^2*b_0^3*c_1 - 72*b_2*b_1^2*b_0^2*c_1*c_0 - 18*b_2*b_1^2*b_0*c_1*c_0^2 + 60*b_2*b_1^2*c_1*c_0^3 - 3*b_2*b_1*b_0^3*c_1^2 - 18*b_2*b_1*b_0^2*c_1^2*c_0 + 10*b_2*b_0^3*c_1^3 + 60*b_2*b_0^2*c_1^3*c_0 + 3*b_1^3*b_0^2*c_2*c_0 - 10*b_1^3*b_0*c_2*c_0^2 + 3*b_1^2*b_0^3*c_2*c_1 - 12*b_1^2*b_0^2*c_2*c_1*c_0 - 60*b_1^2*b_0*c_2*c_1*c_0^2 - 10*b_1*b_0^3*c_2*c_1^2 - 60*b_1*b_0^2*c_2*c_1^2*c_0
- a_2*a_1*a_0*c_1*c_0 - a_2*a_1*b_0^2*c_1 - a_2*a_0*b_1^2*c_0 + a_2*b_1^2*b_0^2 + a_1^2*a_0*c_2*c_0 - a_1^2*b_0^2*c_2 + a_1*a_0^2*c_2*c_1 - a_1*a_0*b_2*b_1*c_0 - a_1*a_0*b_2*b_0*c_1 + 6*a_1*a_0*b_1*c_2*c_0 + 6*a_1*a_0*b_0*c_2*c_1 + 3*a_1*a_0*c_2*c_1*c_0 + a_1*b_2*b_1*b_0^2 - 6*a_1*b_2*b_0^2*c_1 - 3*a_1*b_2*b_0*c_1*c_0 + 10*a_1*b_2*c_1*c_0^2 - 6*a_1*b_1*b_0^2*c_2 - 10*a_1*b_0*c_2*c_1*c_0 - a_0^2*b_1^2*c_2 + a_0*b_2*b_1^2*b_0 - 6*a_0*b_2*b_1^2*c_0 - 3*a_0*b_2*b_1*c_1*c_0 + 10*a_0*b_2*c_1^2*c_0 - 6*a_0*b_1^2*b_0*c_2 - 10*a_0*b_1*c_2*c_1*c_0 + 12*b_2*b_1^2*b_0^2 + 3*b_2*b_1^2*b_0*c_0 - 10*b_2*b_1^2*c_0^2 + 3*b_2*b_1*b_0^2*c_1 - 10*b_2*b_0^2*c_1^2 - 3*b_1^2*b_0^2*c_2 + 10*b_1^2*b_0*c_2*c_0 + 10*b_1*b_0^2*c_2*c_1
- a_2*a_1*a_0*b_0*c_1^2 + 6*a_2*a_1*b_0^2*c_1^2 + 3*a_2*a_1*b_0*c_1^2*c_0 - 10*a_2*a_1*c_1^2*c_0^2 + a_2*a_0*b_1^3*c_0 - a_2*a_0*b_1^2*b_0*c_1 + 6*a_2*a_0*b_1^2*c_1*c_0 + 3*a_2*a_0*b_1*c_1^2*c_0 - 10*a_2*a_0*c_1^3*c_0 - a_2*b_1^3*b_0^2 - 12*a_2*b_1^2*b_0^2*c_1 - 3*a_2*b_1^2*b_0*c_1*c_0 + 10*a_2*b_1^2*c_1*c_0^2 - 3*a_2*b_1*b_0^2*c_1^2 + 10*a_2*b_0^2*c_1^3 - a_1^2*a_0*b_2*c_1*c_0 - a_1^2*a_0*b_1*c_2*c_0 - 6*a_1^2*a_0*c_2*c_1*c_0 + a_1^2*b_2*b_0^2*c_1 + a_1^2*b_1*b_0^2*c_2 + 6*a_1^2*b_0^2*c_2*c_1 - a_1*a_0^2*b_2*c_1^2 - a_1*a_0^2*b_1*c_2*c_1 - 6*a_1*a_0^2*c_2*c_1^2 + a_1*a_0*b_2*b_1^2*c_0 + a_1*a_0*b_2*b_1*b_0*c_1 - 6*a_1*a_0*b_1^2*c_2*c_0 - 6*a_1*a_0*b_1*b_0*c_2*c_1 - 39*a_1*a_0*b_1*c_2*c_1*c_0 - 36*a_1*a_0*b_0*c_2*c_1^2 - 28*a_1*a_0*c_2*c_1^2*c_0 - a_1*b_2*b_1^2*b_0^2 + 6*a_1*b_2*b_1*b_0^2*c_1 + 3*a_1*b_2*b_1*b_0*c_1*c_0 - 10*a_1*b_2*b_1*c_1*c_0^2 + 33*a_1*b_2*b_0^2*c_1^2 + 28*a_1*b_2*b_0*c_1^2*c_0 - 60*a_1*b_2*c_1^2*c_0^2 + 6*a_1*b_1^2*b_0^2*c_2 + 36*a_1*b_1*b_0^2*c_2*c_1 + 10*a_1*b_1*b_0*c_2*c_1*c_0 + 10*a_1*b_0^2*c_2*c_1^2 + 60*a_1*b_0*c_2*c_1^2*c_0 + a_0^2*b_2*b_1^2*c_1 + a_0^2*b_1^3*c_2 + 6*a_0^2*b_1^2*c_2*c_1 - a_0*b_2*b_1^3*b_0 + 6*a_0*b_2*b_1^3*c_0 + 36*a_0*b_2*b_1^2*c_1*c_0 + 18*a_0*b_2*b_1*c_1^2*c_0 - 60*a_0*b_2*c_1^3*c_0 + 6*a_0*b_1^3*b_0*c_2 + 36*a_0*b_1^2*b_0*c_2*c_1 + 20*a_0*b_1^2*c_2*c_1*c_0 + 60*a_0*b_1*c_2*c_1^2*c_0 - 12*b_2*b_1^3*b_0^2 - 3*b_2*b_1^3*b_0*c_0 + 10*b_2*b_1^3*c_0^2 - 69*b_2*b_1^2*b_0^2*c_1 - 28*b_2*b_1^2*b_0*c_1*c_0 + 60*b_2*b_1^2*c_1*c_0^2 - 18*b_2*b_1*b_0^2*c_1^2 + 60*b_2*b_0^2*c_1^3 + 3*b_1^3*b_0^2*c_2 - 10*b_1^3*b_0*c_2*c_0 - 2*b_1^2*b_0^2*c_2*c_1 - 60*b_1^2*b_0*c_2*c_1*c_0 - 60*b_1*b_0^2*c_2*c_1^2
- a_2*a_1*a_0*b_1*c_0 + a_2*a_1*a_0*b_0*c_1 - a_2*a_1*b_1*b_0^2 + 6*a_2*a_1*b_0^2*c_1 + 3*a_2*a_1*b_0*c_1*c_0 - 10*a_2*a_1*c_1*c_0^2 - a_2*a_0*b_1^2*b_0 + 6*a_2*a_0*b_1^2*c_0 + 3*a_2*a_0*b_1*c_1*c_0 - 10*a_2*a_0*c_1^2*c_0 - 12*a_2*b_1^2*b_0^2 - 3*a_2*b_1^2*b_0*c_0 + 10*a_2*b_1^2*c_0^2 - 3*a_2*b_1*b_0^2*c_1 + 10*a_2*b_0^2*c_1^2 - a_1^2*a_0*b_2*c_0 - 6*a_1^2*a_0*c_2*c_0 + a_1^2*b_2*b_0^2 + 6*a_1^2*b_0^2*c_2 - a_1*a_0^2*b_2*c_1 - 6*a_1*a_0^2*c_2*c_1 - 36*a_1*a_0*b_1*c_2*c_0 - 36*a_1*a_0*b_0*c_2*c_1 - 28*a_1*a_0*c_2*c_1*c_0 + 33*a_1*b_2*b_0^2*c_1 + 28*a_1*b_2*b_0*c_1*c_0 - 60*a_1*b_2*c_1*c_0^2 + 36*a_1*b_1*b_0^2*c_2 + 10*a_1*b_0^2*c_2*c_1 + 60*a_1*b_0*c_2*c_1*c_0 + a_0^2*b_2*b_1^2 + 6*a_0^2*b_1^2*c_2 + 33*a_0*b_2*b_1^2*c_0 + 28*a_0*b_2*b_1*c_1*c_0 - 60*a_0*b_2*c_1^2*c_0 + 36*a_0*b_1^2*b_0*c_2 + 10*a_0*b_1^2*c_2*c_0 + 60*a_0*b_1*c_2*c_1*c_0 - 66*b_2*b_1^2*b_0^2 - 28*b_2*b_1^2*b_0*c_0 + 60*b_2*b_1^2*c_0^2 - 28*b_2*b_1*b_0^2*c_1 + 60*b_2*b_0^2*c_1^2 + 8*b_1^2*b_0^2*c_2 - 60*b_1^2*b_0*c_2*c_0 - 60*b_1*b_0^2*c_2*c_1
- a_2^2*a_0*c_1*c_0 - a_2^2*b_0^2*c_1 + a_2*a_1*a_0*c_2*c_0 - a_2*a_1*b_0^2*c_2 + a_2*a_0^2*c_2*c_1 - a_2*a_0*b_2*b_1*c_0 + 6*a_2*a_0*b_2*c_1*c_0 - a_2*a_0*b_1*b_0*c_2 + 6*a_2*a_0*b_0*c_2*c_1 + 3*a_2*a_0*c_2*c_1*c_0 + a_2*b_2*b_1*b_0^2 - 6*a_2*b_2*b_0^2*c_1 - 6*a_2*b_1*b_0^2*c_2 - 3*a_2*b_1*b_0*c_2*c_0 + 10*a_2*b_1*c_2*c_0^2 - 10*a_2*b_0*c_2*c_1*c_0 - a_1*a_0*b_2^2*c_0 + a_1*b_2^2*b_0^2 - a_0^2*b_2^2*c_1 + a_0*b_2^2*b_1*b_0 - 6*a_0*b_2^2*b_1*c_0 - 6*a_0*b_2^2*b_0*c_1 - 3*a_0*b_2*b_1*c_2*c_0 - 10*a_0*b_2*c_2*c_1*c_0 + 10*a_0*b_1*c_2^2*c_0 + 12*b_2^2*b_1*b_0^2 + 3*b_2^2*b_1*b_0*c_0 - 10*b_2^2*b_1*c_0^2 - 3*b_2^2*b_0^2*c_1 + 10*b_2^2*b_0*c_1*c_0 + 3*b_2*b_1*b_0^2*c_2 + 10*b_2*b_0^2*c_2*c_1 - 10*b_1*b_0^2*c_2^2
- a_2^2*a_0*b_1*c_0 - a_2^2*b_1*b_0^2 - a_2*a_1*a_0*b_2*c_0 - a_2*a_1*a_0*b_0*c_2 - 6*a_2*a_1*a_0*c_2*c_0 + a_2*a_1*b_2*b_0^2 - 3*a_2*a_1*b_0*c_2*c_0 + 10*a_2*a_1*c_2*c_0^2 + a_2*a_0^2*b_1*c_2 + 6*a_2*a_0*b_2*b_1*c_0 + 6*a_2*a_0*b_1*b_0*c_2 + 10*a_2*a_0*c_2*c_1*c_0 - 6*a_2*b_2*b_1*b_0^2 + 3*a_2*b_1*b_0^2*c_2 - 10*a_2*b_1*b_0*c_2*c_0 - 10*a_2*b_0^2*c_2*c_1 + a_1*a_0*b_2^2*b_0 - 3*a_1*a_0*b_2*c_2*c_0 + 10*a_1*a_0*c_2^2*c_0 + 6*a_1*b_2^2*b_0^2 + 3*a_1*b_2^2*b_0*c_0 - 10*a_1*b_2^2*c_0^2 + 3*a_1*b_2*b_0^2*c_2 - 10*a_1*b_0^2*c_2^2 - a_0^2*b_2^2*b_1 - 6*a_0*b_2^2*b_1*b_0 + 3*a_0*b_2^2*b_1*c_0 - 10*a_0*b_2^2*c_1*c_0 - 10*a_0*b_2*b_1*c_2*c_0 - 6*b_2^2*b_1*b_0^2 + 10*b_2^2*b_1*b_0*c_0 + 10*b_2^2*b_0^2*c_1 + 10*b_2*b_1*b_0^2*c_2
- a_2^2*a_1*c_1*c_0 - a_2^2*b_1^2*c_0 + a_2*a_1^2*c_2*c_0 + a_2*a_1*a_0*c_2*c_1 - a_2*a_1*b_2*b_0*c_1 + 6*a_2*a_1*b_2*c_1*c_0 - a_2*a_1*b_1*b_0*c_2 + 6*a_2*a_1*b_1*c_2*c_0 + 3*a_2*a_1*c_2*c_1*c_0 - a_2*a_0*b_1^2*c_2 + a_2*b_2*b_1^2*b_0 - 6*a_2*b_2*b_1^2*c_0 - 6*a_2*b_1^2*b_0*c_2 - 3*a_2*b_1*b_0*c_2*c_1 - 10*a_2*b_1*c_2*c_1*c_0 + 10*a_2*b_0*c_2*c_1^2 - a_1^2*b_2^2*c_0 - a_1*a_0*b_2^2*c_1 + a_1*b_2^2*b_1*b_0 - 6*a_1*b_2^2*b_1*c_0 - 6*a_1*b_2^2*b_0*c_1 - 3*a_1*b_2*b_0*c_2*c_1 - 10*a_1*b_2*c_2*c_1*c_0 + 10*a_1*b_0*c_2^2*c_1 + a_0*b_2^2*b_1^2 + 12*b_2^2*b_1^2*b_0 - 3*b_2^2*b_1^2*c_0 + 3*b_2^2*b_1*b_0*c_1 + 10*b_2^2*b_1*c_1*c_0 - 10*b_2^2*b_0*c_1^2 + 3*b_2*b_1^2*b_0*c_2 + 10*b_2*b_1^2*c_2*c_0 - 10*b_1^2*b_0*c_2^2
- a_2^2*a_1*b_0*c_1 - a_2^2*b_1^2*b_0 + a_2*a_1^2*b_0*c_2 - a_2*a_1*a_0*b_2*c_1 - a_2*a_1*a_0*b_1*c_2 - 6*a_2*a_1*a_0*c_2*c_1 + 6*a_2*a_1*b_2*b_0*c_1 + 6*a_2*a_1*b_1*b_0*c_2 + 10*a_2*a_1*c_2*c_1*c_0 + a_2*a_0*b_2*b_1^2 - 3*a_2*a_0*b_1*c_2*c_1 + 10*a_2*a_0*c_2*c_1^2 - 6*a_2*b_2*b_1^2*b_0 + 3*a_2*b_1^2*b_0*c_2 - 10*a_2*b_1^2*c_2*c_0 - 10*a_2*b_1*b_0*c_2*c_1 - a_1^2*b_2^2*b_0 + a_1*a_0*b_2^2*b_1 - 3*a_1*a_0*b_2*c_2*c_1 + 10*a_1*a_0*c_2^2*c_1 - 6*a_1*b_2^2*b_1*b_0 + 3*a_1*b_2^2*b_0*c_1 - 10*a_1*b_2^2*c_1*c_0 - 10*a_1*b_2*b_0*c_2*c_1 + 6*a_0*b_2^2*b_1^2 + 3*a_0*b_2^2*b_1*c_1 - 10*a_0*b_2^2*c_1^2 + 3*a_0*b_2*b_1^2*c_2 - 10*a_0*b_1^2*c_2^2 - 6*b_2^2*b_1^2*b_0 + 10*b_2^2*b_1^2*c_0 + 10*b_2^2*b_1*b_0*c_1 + 10*b_2*b_1^2*b_0*c_2
- a_2^3*b_2*b_0^4*c_1 + a_2^3*b_1*b_0^4*c_2 + 3*a_2^2*a_1*a_0^2*c_2^2*c_0^2 + a_2^2*a_1*a_0*b_0^3*c_2^2 + 3*a_2^2*a_1*a_0*b_0^2*c_2^2*c_0 + a_2^2*a_1*a_0*b_0*c_2^2*c_0^2 - 5*a_2^2*a_1*a_0*c_2^2*c_0^3 + 2*a_2^2*a_1*b_0^3*c_2^2*c_0 - 5*a_2^2*a_1*b_0^2*c_2^2*c_0^2 - a_2^2*a_0^2*b_2*b_0^2*c_2*c_1 - 3*a_2^2*a_0^2*b_0^2*c_2^2*c_1 + a_2^2*a_0*b_2*b_1*b_0^3*c_2 - 6*a_2^2*a_0*b_2*b_0^3*c_2*c_1 - 3*a_2^2*a_0*b_1*b_0^3*c_2^2 - 2*a_2^2*a_0*b_0^3*c_2^2*c_1 + 6*a_2^2*b_2*b_1*b_0^4*c_2 + 3*a_2^2*b_2*b_1*b_0^3*c_2*c_0 - 10*a_2^2*b_2*b_1*b_0^2*c_2*c_0^2 - 3*a_2^2*b_2*b_0^4*c_2*c_1 + 10*a_2^2*b_2*b_0^3*c_2*c_1*c_0 - 2*a_2^2*b_1*b_0^4*c_2^2 + 8*a_2^2*b_1*b_0^3*c_2^2*c_0 + 2*a_2^2*b_1*b_0^2*c_2^2*c_0^2 - 5*a_2^2*b_1*b_0*c_2^2*c_0^3 + 2*a_2^2*b_0^4*c_2^2*c_1 - 2*a_2^2*b_0^3*c_2^2*c_1*c_0 + 5*a_2^2*b_0^2*c_2^2*c_1*c_0^2 + a_2*a_1*a_0^2*b_2^3*c_0^2 + 2*a_2*a_1*a_0^2*b_2^2*b_0*c_2*c_0 + 3*a_2*a_1*a_0^2*b_2^2*c_2*c_0^2 + a_2*a_1*a_0^2*b_2*b_0^2*c_2^2 + 6*a_2*a_1*a_0^2*b_2*b_0*c_2^2*c_0 - 15*a_2*a_1*a_0^2*b_2*c_2^2*c_0^2 - 3*a_2*a_1*a_0^2*b_0^2*c_2^3 - 16*a_2*a_1*a_0^2*b_0*c_2^3*c_0 - 2*a_2*a_1*a_0*b_2^2*b_0^3*c_2 + 3*a_2*a_1*a_0*b_2^2*b_0^2*c_2*c_0 + 3*a_2*a_1*a_0*b_2^2*b_0*c_2*c_0^2 - 5*a_2*a_1*a_0*b_2^2*c_2*c_0^3 - 3*a_2*a_1*a_0*b_2*b_0^3*c_2^2 + 7*a_2*a_1*a_0*b_2*b_0^2*c_2^2*c_0 - 14*a_2*a_1*a_0*b_2*b_0*c_2^2*c_0^2 - 2*a_2*a_1*a_0*b_0^3*c_2^3 - 11*a_2*a_1*a_0*b_0^2*c_2^3*c_0 + 32*a_2*a_1*a_0*b_0*c_2^3*c_0^2 - a_2*a_1*b_2^3*b_0^4 - 6*a_2*a_1*b_2^2*b_0^4*c_2 - 3*a_2*a_1*b_2^2*b_0^3*c_2*c_0 + 5*a_2*a_1*b_2^2*b_0^2*c_2*c_0^2 - 5*a_2*a_1*b_2*b_0^4*c_2^2 + 2*a_2*a_1*b_2*b_0^3*c_2^2*c_0 + 6*a_2*a_1*b_2*b_0^2*c_2^2*c_0^2 - 35*a_2*a_1*b_2*b_0*c_2^2*c_0^3 + 50*a_2*a_1*b_2*c_2^2*c_0^4 + 2*a_2*a_1*b_0^4*c_2^3 - 2*a_2*a_1*b_0^3*c_2^3*c_0 + a_2*a_0^3*b_2^2*b_0*c_2*c_1 + 3*a_2*a_0^3*b_2^2*c_2*c_1*c_0 - a_2*a_0^3*b_2*b_1*b_0*c_2^2 + 3*a_2*a_0^3*b_2*b_1*c_2^2*c_0 + 6*a_2*a_0^3*b_2*b_0*c_2^2*c_1 + 2*a_2*a_0^3*b_2*c_2^2*c_1*c_0 + 3*a_2*a_0^3*b_1*b_0*c_2^3 + 2*a_2*a_0^3*b_0*c_2^3*c_1 + 5*a_2*a_0^3*c_2^3*c_1*c_0 - a_2*a_0^2*b_2^3*b_1*b_0*c_0 - 3*a_2*a_0^2*b_2^3*b_1*c_0^2 + a_2*a_0^2*b_2^3*b_0^2*c_1 + 6*a_2*a_0^2*b_2^3*b_0*c_1*c_0 + 18*a_2*a_0^2*b_2^3*c_1*c_0^2 - a_2*a_0^2*b_2^2*b_1*b_0^2*c_2 - 12*a_2*a_0^2*b_2^2*b_1*b_0*c_2*c_0 + 16*a_2*a_0^2*b_2^2*b_1*c_2*c_0^2 + 9*a_2*a_0^2*b_2^2*b_0^2*c_2*c_1 + 56*a_2*a_0^2*b_2^2*b_0*c_2*c_1*c_0 + 23*a_2*a_0^2*b_2^2*c_2*c_1*c_0^2 - 12*a_2*a_0^2*b_2*b_1*b_0^2*c_2^2 + 32*a_2*a_0^2*b_2*b_1*b_0*c_2^2*c_0 + 39*a_2*a_0^2*b_2*b_0^2*c_2^2*c_1 + 32*a_2*a_0^2*b_2*b_0*c_2^2*c_1*c_0 + 64*a_2*a_0^2*b_2*c_2^2*c_1*c_0^2 + 16*a_2*a_0^2*b_1*b_0^2*c_2^3 - 10*a_2*a_0^2*b_1*b_0*c_2^3*c_0 + 15*a_2*a_0^2*b_0^2*c_2^3*c_1 + 68*a_2*a_0^2*b_0*c_2^3*c_1*c_0 + 15*a_2*a_0^2*c_2^3*c_1*c_0^2 - 3*a_2*a_0*b_2^3*b_1*b_0^2*c_0 - 2*a_2*a_0*b_2^3*b_1*b_0*c_0^2 + 5*a_2*a_0*b_2^3*b_1*c_0^3 + a_2*a_0*b_2^3*b_0^2*c_1*c_0 - 2*a_2*a_0*b_2^3*b_0*c_1*c_0^2 - 42*a_2*a_0*b_2^2*b_1*b_0^2*c_2*c_0 - 6*a_2*a_0*b_2^2*b_1*b_0*c_2*c_0^2 + 60*a_2*a_0*b_2^2*b_1*c_2*c_0^3 - 17*a_2*a_0*b_2^2*b_0^3*c_2*c_1 + 17*a_2*a_0*b_2^2*b_0^2*c_2*c_1*c_0 - 40*a_2*a_0*b_2^2*b_0*c_2*c_1*c_0^2 - 60*a_2*a_0*b_2*b_1*b_0^3*c_2^2 - 16*a_2*a_0*b_2*b_1*b_0^2*c_2^2*c_0 + 55*a_2*a_0*b_2*b_1*b_0*c_2^2*c_0^2 + 15*a_2*a_0*b_2*b_1*c_2^2*c_0^3 + 14*a_2*a_0*b_2*b_0^3*c_2^2*c_1 - 103*a_2*a_0*b_2*b_0^2*c_2^2*c_1*c_0 - 24*a_2*a_0*b_2*b_0*c_2^2*c_1*c_0^2 + 50*a_2*a_0*b_2*c_2^2*c_1*c_0^3 - a_2*a_0*b_1*b_0^3*c_2^3 - 68*a_2*a_0*b_1*b_0^2*c_2^3*c_0 + 50*a_2*a_0*b_1*c_2^3*c_0^3 - 12*a_2*a_0*b_0^3*c_2^3*c_1 + a_2*a_0*b_0^2*c_2^3*c_1*c_0 - 44*a_2*a_0*b_0*c_2^3*c_1*c_0^2 - a_2*b_2^3*b_1*b_0^3*c_0 + 5*a_2*b_2^3*b_1*b_0^2*c_0^2 - 16*a_2*b_2^3*b_0^4*c_1 - 8*a_2*b_2^3*b_0^3*c_1*c_0 - 14*a_2*b_2^2*b_1*b_0^4*c_2 - 8*a_2*b_2^2*b_1*b_0^3*c_2*c_0 - 3*a_2*b_2^2*b_1*b_0^2*c_2*c_0^2 + 10*a_2*b_2^2*b_1*b_0*c_2*c_0^3 - 26*a_2*b_2^2*b_0^4*c_2*c_1 - 16*a_2*b_2^2*b_0^3*c_2*c_1*c_0 - 10*a_2*b_2^2*b_0^2*c_2*c_1*c_0^2 - 18*a_2*b_2*b_1*b_0^4*c_2^2 - 4*a_2*b_2*b_1*b_0^3*c_2^2*c_0 + 76*a_2*b_2*b_1*b_0^2*c_2^2*c_0^2 - 70*a_2*b_2*b_1*b_0*c_2^2*c_0^3 - 18*a_2*b_2*b_0^4*c_2^2*c_1 - 32*a_2*b_2*b_0^3*c_2^2*c_1*c_0 - 30*a_2*b_2*b_0^2*c_2^2*c_1*c_0^2 - 18*a_2*b_1*b_0^4*c_2^3 - 16*a_2*b_1*b_0^3*c_2^3*c_0 + 24*a_2*b_1*b_0^2*c_2^3*c_0^2 + 20*a_2*b_1*b_0*c_2^3*c_0^3 - 30*a_2*b_0^3*c_2^3*c_1*c_0 - 20*a_2*b_0^2*c_2^3*c_1*c_0^2 - a_1*a_0^2*b_2^4*b_0*c_0 - 3*a_1*a_0^2*b_2^4*c_0^2 - a_1*a_0^2*b_2^3*b_0^2*c_2 - 3*a_1*a_0^2*b_2^3*b_0*c_2*c_0 + 3*a_1*a_0^2*b_2^2*b_0^2*c_2^2 + a_1*a_0^2*b_2^2*b_0*c_2^2*c_0 - 19*a_1*a_0^2*b_2^2*c_2^2*c_0^2 - 19*a_1*a_0^2*b_2*b_0*c_2^3*c_0 + 30*a_1*a_0^2*b_2*c_2^3*c_0^2 + 30*a_1*a_0^2*b_0*c_2^4*c_0 - 3*a_1*a_0*b_2^4*b_0^2*c_0 - 2*a_1*a_0*b_2^4*b_0*c_0^2 + 5*a_1*a_0*b_2^4*c_0^3 + 11*a_1*a_0*b_2^3*b_0^2*c_2*c_0 + 26*a_1*a_0*b_2^3*b_0*c_2*c_0^2 - 30*a_1*a_0*b_2^3*c_2*c_0^3 + 17*a_1*a_0*b_2^2*b_0^3*c_2^2 + 20*a_1*a_0*b_2^2*b_0^2*c_2^2*c_0 - 26*a_1*a_0*b_2^2*b_0*c_2^2*c_0^2 - 15*a_1*a_0*b_2^2*c_2^2*c_0^3 + 19*a_1*a_0*b_2*b_0^3*c_2^3 - 30*a_1*a_0*b_2*b_0^2*c_2^3*c_0 - 20*a_1*a_0*b_2*b_0*c_2^3*c_0^2 + 50*a_1*a_0*b_2*c_2^3*c_0^3 - 30*a_1*a_0*b_0^3*c_2^4 - a_1*b_2^4*b_0^3*c_0 + 5*a_1*b_2^4*b_0^2*c_0^2 + 2*a_1*b_2^3*b_0^4*c_2 - 14*a_1*b_2^3*b_0^3*c_2*c_0 + 24*a_1*b_2^3*b_0^2*c_2*c_0^2 + 35*a_1*b_2^3*b_0*c_2*c_0^3 - 50*a_1*b_2^3*c_2*c_0^4 + 8*a_1*b_2^2*b_0^4*c_2^2 - 4*a_1*b_2^2*b_0^3*c_2^2*c_0 + 15*a_1*b_2^2*b_0^2*c_2^2*c_0^2 + 20*a_1*b_2*b_0^3*c_2^3*c_0 - 50*a_1*b_2*b_0^2*c_2^3*c_0^2 + a_0^3*b_2^4*b_1*c_0 - 3*a_0^3*b_2^4*c_1*c_0 + a_0^3*b_2^3*b_1*b_0*c_2 - 3*a_0^3*b_2^3*b_1*c_2*c_0 - 6*a_0^3*b_2^3*b_0*c_2*c_1 - 2*a_0^3*b_2^3*c_2*c_1*c_0 - 3*a_0^3*b_2^2*b_1*b_0*c_2^2 - 2*a_0^3*b_2^2*b_0*c_2^2*c_1 - 5*a_0^3*b_2^2*c_2^2*c_1*c_0 + a_0^2*b_2^4*b_1*b_0^2 + 3*a_0^2*b_2^4*b_1*b_0*c_0 - 20*a_0^2*b_2^4*b_1*c_0^2 - 6*a_0^2*b_2^4*b_0^2*c_1 - 18*a_0^2*b_2^4*b_0*c_1*c_0 + 5*a_0^2*b_2^4*c_1*c_0^2 + 12*a_0^2*b_2^3*b_1*b_0^2*c_2 - 55*a_0^2*b_2^3*b_1*b_0*c_2*c_0 - 9*a_0^2*b_2^3*b_1*c_2*c_0^2 - 39*a_0^2*b_2^3*b_0^2*c_2*c_1 - 2*a_0^2*b_2^3*b_0*c_2*c_1*c_0 - 60*a_0^2*b_2^3*c_2*c_1*c_0^2 - 16*a_0^2*b_2^2*b_1*b_0^2*c_2^2 - a_0^2*b_2^2*b_1*b_0*c_2^2*c_0 - 34*a_0^2*b_2^2*b_1*c_2^2*c_0^2 - 15*a_0^2*b_2^2*b_0^2*c_2^2*c_1 - 122*a_0^2*b_2^2*b_0*c_2^2*c_1*c_0 - 15*a_0^2*b_2^2*c_2^2*c_1*c_0^2 + 24*a_0^2*b_2*b_1*b_0*c_2^3*c_0 - 20*a_0^2*b_2*b_0*c_2^3*c_1*c_0 - 50*a_0^2*b_2*c_2^3*c_1*c_0^2 + 20*a_0^2*b_1*b_0*c_2^4*c_0 + 50*a_0^2*b_1*c_2^4*c_0^2 + 12*a_0*b_2^4*b_1*b_0^3 + 22*a_0*b_2^4*b_1*b_0^2*c_0 - 4*a_0*b_2^4*b_1*b_0*c_0^2 - 30*a_0*b_2^4*b_1*c_0^3 - 19*a_0*b_2^4*b_0^3*c_1 - 7*a_0*b_2^4*b_0^2*c_1*c_0 + 30*a_0*b_2^4*b_0*c_1*c_0^2 + 83*a_0*b_2^3*b_1*b_0^3*c_2 - 3*a_0*b_2^3*b_1*b_0^2*c_2*c_0 - 51*a_0*b_2^3*b_1*b_0*c_2*c_0^2 - 44*a_0*b_2^3*b_0^3*c_2*c_1 + 98*a_0*b_2^3*b_0^2*c_2*c_1*c_0 + 30*a_0*b_2^3*b_0*c_2*c_1*c_0^2 - 50*a_0*b_2^3*c_2*c_1*c_0^3 + 12*a_0*b_2^2*b_1*b_0^3*c_2^2 + 104*a_0*b_2^2*b_1*b_0^2*c_2^2*c_0 + 14*a_0*b_2^2*b_1*b_0*c_2^2*c_0^2 - 100*a_0*b_2^2*b_1*c_2^2*c_0^3 + 66*a_0*b_2^2*b_0^3*c_2^2*c_1 - 27*a_0*b_2^2*b_0^2*c_2^2*c_1*c_0 + 70*a_0*b_2^2*b_0*c_2^2*c_1*c_0^2 - 24*a_0*b_2*b_1*b_0^3*c_2^3 + 26*a_0*b_2*b_1*b_0^2*c_2^3*c_0 - 26*a_0*b_2*b_1*b_0*c_2^3*c_0^2 + 20*a_0*b_2*b_0^3*c_2^3*c_1 + 20*a_0*b_2*b_0^2*c_2^3*c_1*c_0 - 20*a_0*b_2*b_0*c_2^3*c_1*c_0^2 - 20*a_0*b_1*b_0^3*c_2^4 - 20*a_0*b_1*b_0^2*c_2^4*c_0 + 20*a_0*b_1*b_0*c_2^4*c_0^2 + 39*b_2^4*b_1*b_0^4 + 10*b_2^4*b_1*b_0^3*c_0 - 28*b_2^4*b_1*b_0^2*c_0^2 - 5*b_2^4*b_1*b_0*c_0^3 - 14*b_2^4*b_0^4*c_1 + 28*b_2^4*b_0^3*c_1*c_0 + 5*b_2^4*b_0^2*c_1*c_0^2 + 46*b_2^3*b_1*b_0^4*c_2 - 91*b_2^3*b_1*b_0^2*c_2*c_0^2 + 70*b_2^3*b_1*b_0*c_2*c_0^3 + 19*b_2^3*b_0^4*c_2*c_1 + 26*b_2^3*b_0^3*c_2*c_1*c_0 + 30*b_2^3*b_0^2*c_2*c_1*c_0^2 + 17*b_2^2*b_1*b_0^4*c_2^2 + 2*b_2^2*b_1*b_0^3*c_2^2*c_0 + 26*b_2^2*b_1*b_0^2*c_2^2*c_0^2 - 20*b_2^2*b_1*b_0*c_2^2*c_0^3 + 26*b_2^2*b_0^4*c_2^2*c_1 + 4*b_2^2*b_0^3*c_2^2*c_1*c_0 + 20*b_2^2*b_0^2*c_2^2*c_1*c_0^2 - 26*b_2*b_1*b_0^4*c_2^3 + 26*b_2*b_1*b_0^3*c_2^3*c_0 + 30*b_2*b_0^4*c_2^3*c_1 + 20*b_2*b_0^3*c_2^3*c_1*c_0 - 30*b_1*b_0^4*c_2^4 - 20*b_1*b_0^3*c_2^4*c_0
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement