R=ZZ[x_0..x_8,z]; D0= -x_1*x_2*x_3*x_4*x_5*x_6-x_0*x_1*x_3*x_5*x_6*x_7-x_1*x_2*x_3*x_5*x_6*x_7-x_1*x_3*x_4*x_5*x_6*x_7-x_0*x_2*x_3*x_4*x_5*x_8-x_1*x_2*x_3*x_4*x_6*x_8-x_2*x_3*x_4*x_5*x_6*x_8-x_0*x_1*x_2*x_4*x_7*x_8-x_0*x_2*x_4*x_5*x_7*x_8-x_1*x_2*x_3*x_6*x_7*x_8-x_1*x_2*x_4*x_6*x_7*x_8-x_1*x_3*x_5*x_6*x_7*x_8-x_0*x_2*x_3*x_4*x_5-x_1*x_2*x_3*x_4*x_5-x_1*x_2*x_3*x_4*x_6-x_0*x_1*x_3*x_5*x_6-x_1*x_2*x_3*x_5*x_6-x_1*x_2*x_4*x_5*x_6-x_0*x_3*x_4*x_5*x_6-x_1*x_3*x_4*x_5*x_6-x_2*x_3*x_4*x_5*x_6-x_0*x_1*x_2*x_4*x_7-x_0*x_1*x_3*x_5*x_7-x_1*x_2*x_3*x_5*x_7-x_0*x_1*x_4*x_5*x_7-x_0*x_2*x_4*x_5*x_7-x_1*x_3*x_4*x_5*x_7-x_2*x_3*x_4*x_5*x_7-x_0*x_1*x_3*x_6*x_7-x_1*x_2*x_3*x_6*x_7-x_1*x_2*x_4*x_6*x_7-x_1*x_3*x_4*x_6*x_7-x_0*x_1*x_5*x_6*x_7-x_1*x_2*x_5*x_6*x_7-x_0*x_3*x_5*x_6*x_7-2*x_1*x_3*x_5*x_6*x_7-x_2*x_3*x_5*x_6*x_7-x_1*x_4*x_5*x_6*x_7-x_3*x_4*x_5*x_6*x_7-x_0*x_1*x_2*x_4*x_8-x_0*x_2*x_3*x_4*x_8-x_1*x_2*x_3*x_4*x_8-x_0*x_2*x_3*x_5*x_8-x_0*x_2*x_4*x_5*x_8-x_1*x_2*x_4*x_5*x_8-x_0*x_3*x_4*x_5*x_8-x_2*x_3*x_4*x_5*x_8-x_1*x_2*x_3*x_6*x_8-x_0*x_2*x_4*x_6*x_8-x_1*x_2*x_4*x_6*x_8-x_1*x_3*x_4*x_6*x_8-x_2*x_3*x_4*x_6*x_8-x_1*x_3*x_5*x_6*x_8-x_2*x_3*x_5*x_6*x_8-x_2*x_4*x_5*x_6*x_8-x_3*x_4*x_5*x_6*x_8-x_0*x_1*x_2*x_7*x_8-x_1*x_2*x_3*x_7*x_8-x_0*x_1*x_4*x_7*x_8-x_0*x_2*x_4*x_7*x_8-x_1*x_2*x_4*x_7*x_8-x_2*x_3*x_4*x_7*x_8-x_0*x_2*x_5*x_7*x_8-x_1*x_2*x_5*x_7*x_8-x_0*x_3*x_5*x_7*x_8-x_1*x_3*x_5*x_7*x_8-x_0*x_4*x_5*x_7*x_8-x_2*x_4*x_5*x_7*x_8-x_0*x_1*x_6*x_7*x_8-x_1*x_2*x_6*x_7*x_8-x_1*x_3*x_6*x_7*x_8-x_2*x_3*x_6*x_7*x_8-x_1*x_4*x_6*x_7*x_8-x_2*x_4*x_6*x_7*x_8-x_1*x_5*x_6*x_7*x_8-x_3*x_5*x_6*x_7*x_8-x_4*x_5*x_6*x_7*x_8-x_0*x_1*x_2*x_3-x_0*x_1*x_2*x_4-x_0*x_2*x_3*x_4-x_1*x_2*x_3*x_4-x_0*x_1*x_3*x_5-x_0*x_2*x_3*x_5-x_1*x_2*x_3*x_5-x_0*x_1*x_4*x_5-x_0*x_2*x_4*x_5-x_1*x_2*x_4*x_5-x_0*x_3*x_4*x_5-x_1*x_3*x_4*x_5-2*x_2*x_3*x_4*x_5-x_0*x_1*x_3*x_6-2*x_1*x_2*x_3*x_6-x_0*x_2*x_4*x_6-2*x_1*x_2*x_4*x_6-x_0*x_3*x_4*x_6-2*x_1*x_3*x_4*x_6-x_2*x_3*x_4*x_6-x_0*x_1*x_5*x_6-x_1*x_2*x_5*x_6-x_0*x_3*x_5*x_6-2*x_1*x_3*x_5*x_6-2*x_2*x_3*x_5*x_6-x_0*x_4*x_5*x_6-x_1*x_4*x_5*x_6-x_2*x_4*x_5*x_6-2*x_3*x_4*x_5*x_6-x_0*x_1*x_2*x_7-x_0*x_1*x_3*x_7-x_1*x_2*x_3*x_7-x_0*x_1*x_4*x_7-x_0*x_2*x_4*x_7-x_1*x_2*x_4*x_7-x_1*x_3*x_4*x_7-x_2*x_3*x_4*x_7-x_0*x_1*x_5*x_7-x_0*x_2*x_5*x_7-x_1*x_2*x_5*x_7-x_0*x_3*x_5*x_7-2*x_1*x_3*x_5*x_7-x_2*x_3*x_5*x_7-x_0*x_4*x_5*x_7-x_1*x_4*x_5*x_7-x_2*x_4*x_5*x_7-x_3*x_4*x_5*x_7-x_0*x_1*x_6*x_7-2*x_1*x_2*x_6*x_7-x_0*x_3*x_6*x_7-2*x_1*x_3*x_6*x_7-x_2*x_3*x_6*x_7-2*x_1*x_4*x_6*x_7-x_2*x_4*x_6*x_7-x_3*x_4*x_6*x_7-x_0*x_5*x_6*x_7-2*x_1*x_5*x_6*x_7-x_2*x_5*x_6*x_7-2*x_3*x_5*x_6*x_7-x_4*x_5*x_6*x_7-x_0*x_1*x_2*x_8-x_0*x_2*x_3*x_8-x_1*x_2*x_3*x_8-x_0*x_1*x_4*x_8-2*x_0*x_2*x_4*x_8-2*x_1*x_2*x_4*x_8-x_0*x_3*x_4*x_8-x_1*x_3*x_4*x_8-2*x_2*x_3*x_4*x_8-x_0*x_2*x_5*x_8-x_1*x_2*x_5*x_8-x_0*x_3*x_5*x_8-x_1*x_3*x_5*x_8-x_2*x_3*x_5*x_8-x_0*x_4*x_5*x_8-x_1*x_4*x_5*x_8-2*x_2*x_4*x_5*x_8-x_3*x_4*x_5*x_8-x_0*x_1*x_6*x_8-x_0*x_2*x_6*x_8-x_1*x_2*x_6*x_8-2*x_1*x_3*x_6*x_8-2*x_2*x_3*x_6*x_8-x_0*x_4*x_6*x_8-x_1*x_4*x_6*x_8-2*x_2*x_4*x_6*x_8-x_3*x_4*x_6*x_8-x_1*x_5*x_6*x_8-x_2*x_5*x_6*x_8-2*x_3*x_5*x_6*x_8-x_4*x_5*x_6*x_8-x_0*x_1*x_7*x_8-x_0*x_2*x_7*x_8-2*x_1*x_2*x_7*x_8-x_0*x_3*x_7*x_8-x_1*x_3*x_7*x_8-x_2*x_3*x_7*x_8-x_0*x_4*x;_7*x_8-x_1*x_4*x_7*x_8-2*x_2*x_4*x_7*x_8-x_3*x_4*x_7*x_8-x_0*x_5*x_7*x_8-x_1*x_5*x_7*x_8-x_2*x_5*x_7*x_8-x_3*x_5*x_7*x_8-x_4*x_5*x_7*x_8-x_0*x_6*x_7*x_8-2*x_1*x_6*x_7*x_8-x_2*x_6*x_7*x_8-x_3*x_6*x_7*x_8-x_4*x_6*x_7*x_8-x_5*x_6*x_7*x_8-x_0*x_1*x_2-x_0*x_1*x_3-x_0*x_2*x_3-2*x_1*x_2*x_3-x_0*x_1*x_4-2*x_0*x_2*x_4-2*x_1*x_2*x_4-x_0*x_3*x_4-2*x_1*x_3*x_4-2*x_2*x_3*x_4-x_0*x_1*x_5-x_0*x_2*x_5-2*x_1*x_2*x_5-2*x_0*x_3*x_5-2*x_1*x_3*x_5-2*x_2*x_3*x_5-2*x_0*x_4*x_5-2*x_1*x_4*x_5-2*x_2*x_4*x_5-2*x_3*x_4*x_5-x_0*x_1*x_6-x_0*x_2*x_6-2*x_1*x_2*x_6-x_0*x_3*x_6-3*x_1*x_3*x_6-2*x_2*x_3*x_6-x_0*x_4*x_6-2*x_1*x_4*x_6-2*x_2*x_4*x_6-2*x_3*x_4*x_6-x_0*x_5*x_6-2*x_1*x_5*x_6-2*x_2*x_5*x_6-3*x_3*x_5*x_6-2*x_4*x_5*x_6-2*x_0*x_1*x_7-x_0*x_2*x_7-2*x_1*x_2*x_7-x_0*x_3*x_7-2*x_1*x_3*x_7-2*x_2*x_3*x_7-x_0*x_4*x_7-2*x_1*x_4*x_7-2*x_2*x_4*x_7-2*x_3*x_4*x_7-2*x_0*x_5*x_7-2*x_1*x_5*x_7-2*x_2*x_5*x_7-2*x_3*x_5*x_7-2*x_4*x_5*x_7-x_0*x_6*x_7-3*x_1*x_6*x_7-2*x_2*x_6*x_7-2*x_3*x_6*x_7-2*x_4*x_6*x_7-2*x_5*x_6*x_7-x_0*x_1*x_8-2*x_0*x_2*x_8-2*x_1*x_2*x_8-x_0*x_3*x_8-2*x_1*x_3*x_8-2*x_2*x_3*x_8-2*x_0*x_4*x_8-2*x_1*x_4*x_8-3*x_2*x_4*x_8-2*x_3*x_4*x_8-x_0*x_5*x_8-2*x_1*x_5*x_8-2*x_2*x_5*x_8-2*x_3*x_5*x_8-2*x_4*x_5*x_8-x_0*x_6*x_8-2*x_1*x_6*x_8-2*x_2*x_6*x_8-2*x_3*x_6*x_8-2*x_4*x_6*x_8-2*x_5*x_6*x_8-2*x_0*x_7*x_8-2*x_1*x_7*x_8-2*x_2*x_7*x_8-2*x_3*x_7*x_8-2*x_4*x_7*x_8-2*x_5*x_7*x_8-2*x_6*x_7*x_8-2*x_0*x_1-2*x_0*x_2-3*x_1*x_2-2*x_0*x_3-3*x_1*x_3-3*x_2*x_3-2*x_0*x_4-3*x_1*x_4-3*x_2*x_4-3*x_3*x_4-2*x_0*x_5-3*x_1*x_5-3*x_2*x_5-3*x_3*x_5-3*x_4*x_5-2*x_0*x_6-3*x_1*x_6-3*x_2*x_6-3*x_3*x_6-3*x_4*x_6-3*x_5*x_6-2*x_0*x_7-3*x_1*x_7-3*x_2*x_7-3*x_3*x_7-3*x_4*x_7-3*x_5*x_7-3*x_6*x_7-2*x_0*x_8-3*x_1*x_8-3*x_2*x_8-3*x_3*x_8-3*x_4*x_8-3*x_5*x_8-3*x_6*x_8-3*x_7*x_8-3*x_0-4*x_1-4*x_2-4*x_3-4*x_4-4*x_5-4*x_6-4*x_7-4*x_8+5*z; D1= -x_0*x_1*x_2*x_3*x_6*x_7-x_0*x_2*x_3*x_4*x_6*x_7-x_0*x_1*x_2*x_5*x_6*x_7-x_0*x_2*x_4*x_5*x_6*x_7-x_0*x_1*x_2*x_3*x_5*x_8-x_0*x_1*x_3*x_4*x_5*x_8-x_1*x_2*x_3*x_5*x_6*x_8-x_1*x_3*x_4*x_5*x_6*x_8-x_0*x_1*x_2*x_3*x_7*x_8-x_0*x_1*x_2*x_5*x_7*x_8-x_1*x_2*x_3*x_6*x_7*x_8-x_1*x_2*x_5*x_6*x_7*x_8-x_0*x_1*x_2*x_3*x_5-x_0*x_1*x_3*x_4*x_5-x_0*x_1*x_2*x_3*x_6-x_0*x_2*x_3*x_4*x_6-x_0*x_1*x_2*x_5*x_6-x_1*x_2*x_3*x_5*x_6-x_0*x_2*x_4*x_5*x_6-x_0*x_3*x_4*x_5*x_6-x_1*x_3*x_4*x_5*x_6-x_0*x_1*x_2*x_3*x_7-x_0*x_2*x_3*x_4*x_7-x_0*x_1*x_2*x_5*x_7-x_0*x_2*x_3*x_5*x_7-x_0*x_2*x_4*x_5*x_7-x_0*x_1*x_2*x_6*x_7-x_0*x_1*x_3*x_6*x_7-x_0*x_2*x_3*x_6*x_7-x_1*x_2*x_3*x_6*x_7-x_0*x_2*x_4*x_6*x_7-x_0*x_3*x_4*x_6*x_7-x_2*x_3*x_4*x_6*x_7-x_0*x_1*x_5*x_6*x_7-x_0*x_2*x_5*x_6*x_7-x_1*x_2*x_5*x_6*x_7-x_2*x_3*x_5*x_6*x_7-x_0*x_4*x_5*x_6*x_7-x_2*x_4*x_5*x_6*x_7-x_0*x_1*x_2*x_3*x_8-x_0*x_1*x_3*x_4*x_8-x_0*x_1*x_2*x_5*x_8-x_0*x_1*x_3*x_5*x_8-x_0*x_2*x_3*x_5*x_8-x_1*x_2*x_3*x_5*x_8-x_0*x_1*x_4*x_5*x_8-x_0*x_3*x_4*x_5*x_8-x_1*x_3*x_4*x_5*x_8-x_0*x_1*x_3*x_6*x_8-x_1*x_2*x_3*x_6*x_8-x_1*x_3*x_4*x_6*x_8-x_0*x_1*x_5*x_6*x_8-x_1*x_2*x_5*x_6*x_8-x_1*x_3*x_5*x_6*x_8-x_2*x_3*x_5*x_6*x_8-x_1*x_4*x_5*x_6*x_8-x_3*x_4*x_5*x_6*x_8-x_0*x_1*x_2*x_7*x_8-x_0*x_1*x_3*x_7*x_8-x_0*x_2*x_3*x_7*x_8-x_1*x_2*x_3*x_7*x_8-x_0*x_3*x_4*x_7*x_8-x_0*x_1*x_5*x_7*x_8-x_0*x_2*x_5*x_7*x_8-x_1*x_2*x_5*x_7*x_8-x_1*x_3*x_5*x_7*x_8-x_0*x_4*x_5*x_7*x_8-x_0*x_2*x_6*x_7*x_8-x_1*x_2*x_6*x_7*x_8-x_1*x_3*x_6*x_7*x_8-x_2*x_3*x_6*x_7*x_8-x_3*x_4*x_6*x_7*x_8-x_1*x_5*x_6*x_7*x_8-x_2*x_5*x_6*x_7*x_8-x_4*x_5*x_6*x_7*x_8-2*x_0*x_1*x_2*x_3-x_0*x_1*x_3*x_4-x_0*x_2*x_3*x_4-2*x_0*x_1*x_2*x_5-x_0*x_1*x_3*x_5-x_0*x_2*x_3*x_5-x_1*x_2*x_3*x_5-x_0*x_1*x_4*x_5-x_0*x_2*x_4*x_5-x_0*x_3*x_4*x_5-x_1*x_3*x_4*x_5-x_0*x_1*x_2*x_6-x_0*x_1*x_3*x_6-x_0*x_2*x_3*x_6-2*x_1*x_2*x_3*x_6-x_0*x_2*x_4*x_6-x_0*x_3*x_4*x_6-x_1*x_3*x_4*x_6-x_2*x_3*x_4*x_6-x_0*x_1*x_5*x_6-x_0*x_2*x_5*x_6-2*x_1*x_2*x_5*x_6-x_0*x_3*x_5*x_6-x_1*x_3*x_5*x_6-x_2*x_3*x_5*x_6-x_0*x_4*x_5*x_6-x_1*x_4*x_5*x_6-x_2*x_4*x_5*x_6-x_3*x_4*x_5*x_6-2*x_0*x_1*x_2*x_7-x_0*x_1*x_3*x_7-2*x_0*x_2*x_3*x_7-x_1*x_2*x_3*x_7-x_0*x_1*x_4*x_7-x_0*x_2*x_4*x_7-x_0*x_3*x_4*x_7-x_2*x_3*x_4*x_7-x_0*x_1*x_5*x_7-2*x_0*x_2*x_5*x_7-x_1*x_2*x_5*x_7-x_0*x_3*x_5*x_7-x_1*x_3*x_5*x_7-x_2*x_3*x_5*x_7-x_0*x_4*x_5*x_7-x_2*x_4*x_5*x_7-x_0*x_1*x_6*x_7-2*x_0*x_2*x_6*x_7-2*x_1*x_2*x_6*x_7-x_0*x_3*x_6*x_7-x_1*x_3*x_6*x_7-2*x_2*x_3*x_6*x_7-x_0*x_4*x_6*x_7-x_1*x_4*x_6*x_7-x_2*x_4*x_6*x_7-x_3*x_4*x_6*x_7-x_0*x_5*x_6*x_7-x_1*x_5*x_6*x_7-2*x_2*x_5*x_6*x_7-x_3*x_5*x_6*x_7-x_4*x_5*x_6*x_7-x_0*x_1*x_2*x_8-2*x_0*x_1*x_3*x_8-x_0*x_2*x_3*x_8-2*x_1*x_2*x_3*x_8-x_0*x_1*x_4*x_8-x_0*x_3*x_4*x_8-x_1*x_3*x_4*x_8-x_2*x_3*x_4*x_8-2*x_0*x_1*x_5*x_8-x_0*x_2*x_5*x_8-2*x_1*x_2*x_5*x_8-x_0*x_3*x_5*x_8-2*x_1*x_3*x_5*x_8-x_2*x_3*x_5*x_8-x_0*x_4*x_5*x_8-x_1*x_4*x_5*x_8-x_2*x_4*x_5*x_8-x_3*x_4*x_5*x_8-x_0*x_1*x_6*x_8-x_0*x_2*x_6*x_8-x_1*x_2*x_6*x_8-x_0*x_3*x_6*x_8-2*x_1*x_3*x_6*x_8-x_2*x_3*x_6*x_8-x_1*x_4*x_6*x_8-x_3*x_4*x_6*x_8-x_0*x_5*x_6*x_8-2*x_1*x_5*x_6*x_8-x_2*x_5*x_6*x_8-x_3*x_5*x_6*x_8-x_4*x_5*x_6*x_8-x_0*x_1*x_7*x_8-2*x_0*x_2*x_7*x_8-2*x_1*x_2*x_7*x_8-x_0*x_3*x_7*x_8-2*x_1*x_3*x_7*x_8-x_2*x_3*x_7*x_8-x_0*x_4*x_7*x_8-x_3*x_4*x_7*x_8-x_0*x_5*x_7*x_8-2*x_1*x_5*x_7*x_8-x_2*x_5*x_7*x_8-x_3*x_5*x_7*x_8-x_4*x_5*x_7*x_8-x_0*x_6*x_7*x_8-x_1*x_6*x_7*x_8-2*x_2*x_6*x_7*x_8-x_3*x_6*x_7*x_8-x_4*x_6*x_7*x_8-x_5*x_6*x_7*x_8-2*x_0*x_1*x_2-2*x_0*x_1*x_3-2*x_0*x_2*x_3-2*x_1*x_2*x_3-x_0*x_1*x_4-x_0*x_2*x_4-x_1*x_2*x_4-2*x_0*x_3*x_4-x_1*x_3*x_4-x_2*x_3*x_4-2*x_0*x_1*x_5-2*x_0*x_2*x_5-2*x_1*x_2*x_5-2*x_0*x_3*x_5-2*x_1*x_3*x_5-2*x_2*x_3*x_5-2*x_0*x_4*x_5-x_1*x_4*x_5-x_2*x_4*x_5-x_3*x_4*x_5-2*x_0*x_1*x_6-2*x_0*x_2*x_6-2*x_1*x_2*x_6-2*x_0*x_3*x_6-2*x_1*x_3*x_6-2*x_2*x_3*x_6-x_0*x_4*x_6-x_1*x_4*x_6-x_2*x_4*x_6-2*x_3*x_4*x_6-2*x_0*x_5*x_6-2*x_1*x_5*x_6-2*x_2*x_5*x_6-2*x_3*x_5*x_6-2*x_4*x_5*x_6-2*x_0*x_1*x_7-3*x_0*x_2*x_7-2*x_1*x_2*x_7-2*x_0*x_3*x_7-2*x_1*x_3*x_7-2*x_2*x_3*x_7-2*x_0*x_4*x_7-x_1*x_4*x_7-x_2*x_4*x_7-x_3*x_4*x_7-2*x_0*x_5*x_7-2*x_1*x_5*x_7-2*x_2*x_5*x_7-2*x_3*x_5*x_7-x_4*x_5*x_7-2*x_0*x_6*x_7-2*x_1*x_6*x_7-3*x_2*x_6*x_7-2*x_3*x_6*x_7-2*x_4*x_6*x_7-2*x_5*x_6*x_7-2*x_0*x_1*x_8-2*x_0*x_2*x_8-2*x_1*x_2*x_8-2*x_0*x_3*x_8-3*x_1*x_3*x_8-2*x_2*x_3*x_8-x_0*x_4*x_8-x_1*x_4*x_8-x_2*x_4*x_8-2*x_3*x_4*x_8-2*x_0*x_5*x_8-3*x_1*x_5*x_8-2*x_2*x_5*x_8-2*x_3*x_5*x_8-2*x_4*x_5*x_8-2*x_0*x_6*x_8-2*x_1*x_6*x_8-2*x_2*x_6*x_8-2*x_3*x_6*x_8-x_4*x_6*x_8-2*x_5*x_6*x_8-2*x_0*x_7*x_8-2*x_1*x_7*x_8-2*x_2*x_7*x_8-2*x_3*x_7*x_8-x_4*x_7*x_8-2*x_5*x_7*x_8-2*x_6*x_7*x_8-3*x_0*x_1-3*x_0*x_2-3*x_1*x_2-3*x_0*x_3-3*x_1*x_3-3*x_2*x_3-2*x_0*x_4-2*x_1*x_4-2*x_2*x_4-2*x_3*x_4-3*x_0*x_5-3*x_1*x_5-3*x_2*x_5-3*x_3*x_5-2*x_4*x_5-3*x_0*x_6-3*x_1*x_6-3*x_2*x_6-3*x_3*x_6-2*x_4*x_6-3*x_5*x_6-3*x_0*x_7-3*x_1*x_7-3*x_2*x_7-3*x_3*x_7-2*x_4*x_7-3*x_5*x_7-3*x_6*x_7-3*x_0*x_8-3*x_1*x_8-3*x_2*x_8-3*x_3*x_8-2*x_4*x_8-3*x_5*x_8-3*x_6*x_8-3*x_7*x_8-4*x_0-4*x_1-4*x_2-4*x_3-3*x_4-4*x_5-4*x_6-4*x_7-4*x_8+5*z; D2= -x_1*x_2*x_3*x_4*x_5*x_6-x_0*x_1*x_3*x_4*x_6*x_7-x_1*x_3*x_4*x_5*x_6*x_7-x_0*x_1*x_2*x_3*x_5*x_8-x_0*x_1*x_2*x_4*x_5*x_8-x_0*x_2*x_3*x_5*x_6*x_8-x_0*x_2*x_4*x_5*x_6*x_8-x_1*x_2*x_4*x_5*x_6*x_8-x_2*x_3*x_4*x_5*x_6*x_8-x_0*x_1*x_2*x_3*x_7*x_8-x_0*x_1*x_2*x_3*x_4-x_0*x_1*x_2*x_3*x_5-x_0*x_1*x_2*x_4*x_5-x_1*x_2*x_3*x_4*x_5-x_0*x_1*x_2*x_3*x_6-x_0*x_1*x_3*x_4*x_6-x_1*x_2*x_3*x_4*x_6-x_0*x_2*x_3*x_5*x_6-x_1*x_2*x_3*x_5*x_6-x_0*x_1*x_4*x_5*x_6-x_0*x_2*x_4*x_5*x_6-x_1*x_2*x_4*x_5*x_6-x_0*x_3*x_4*x_5*x_6-x_1*x_3*x_4*x_5*x_6-x_2*x_3*x_4*x_5*x_6-x_0*x_1*x_2*x_3*x_7-x_0*x_1*x_3*x_4*x_7-x_0*x_1*x_3*x_5*x_7-x_1*x_3*x_4*x_5*x_7-x_0*x_1*x_3*x_6*x_7-x_0*x_1*x_4*x_6*x_7-x_0*x_3*x_4*x_6*x_7-x_1*x_3*x_4*x_6*x_7-x_1*x_3*x_5*x_6*x_7-x_1*x_4*x_5*x_6*x_7-x_3*x_4*x_5*x_6*x_7-x_0*x_1*x_2*x_3*x_8-x_0*x_1*x_2*x_4*x_8-x_0*x_2*x_3*x_4*x_8-x_0*x_1*x_2*x_5*x_8-x_0*x_1*x_3*x_5*x_8-x_0*x_2*x_3*x_5*x_8-x_1*x_2*x_3*x_5*x_8-x_0*x_1*x_4*x_5*x_8-x_0*x_2*x_4*x_5*x_8-x_1*x_2*x_4*x_5*x_8-x_2*x_3*x_4*x_5*x_8-x_0*x_1*x_2*x_6*x_8-x_0*x_2*x_3*x_6*x_8-x_0*x_2*x_4*x_6*x_8-x_1*x_2*x_4*x_6*x_8-x_1*x_3*x_4*x_6*x_8-x_2*x_3*x_4*x_6*x_8-x_0*x_2*x_5*x_6*x_8-x_1*x_2*x_5*x_6*x_8-x_0*x_3*x_5*x_6*x_8-x_2*x_3*x_5*x_6*x_8-x_0*x_4*x_5*x_6*x_8-x_1*x_4*x_5*x_6*x_8-2*x_2*x_4*x_5*x_6*x_8-x_3*x_4*x_5*x_6*x_8-x_0*x_1*x_2*x_7*x_8-x_0*x_1*x_3*x_7*x_8-x_0*x_2*x_3*x_7*x_8-x_1*x_2*x_3*x_7*x_8-x_0*x_1*x_4*x_7*x_8-x_0*x_2*x_5*x_7*x_8-x_0*x_3*x_6*x_7*x_8-x_0*x_4*x_6*x_7*x_8-x_4*x_5*x_6*x_7*x_8-2*x_0*x_1*x_2*x_3-x_0*x_1*x_2*x_4-x_0*x_1*x_3*x_4-x_0*x_2*x_3*x_4-x_1*x_2*x_3*x_4-x_0*x_1*x_2*x_5-x_0*x_1*x_3*x_5-x_0*x_2*x_3*x_5-2*x_1*x_2*x_3*x_5-x_0*x_1*x_4*x_5-x_0*x_2*x_4*x_5-2*x_1*x_2*x_4*x_5-x_0*x_3*x_4*x_5-x_1*x_3*x_4*x_5-x_2*x_3*x_4*x_5-x_0*x_1*x_2*x_6-x_0*x_1*x_3*x_6-x_0*x_2*x_3*x_6-x_1*x_2*x_3*x_6-x_0*x_1*x_4*x_6-x_0*x_2*x_4*x_6-x_1*x_2*x_4*x_6-x_0*x_3*x_4*x_6-2*x_1*x_3*x_4*x_6-x_2*x_3*x_4*x_6-x_0*x_1*x_5*x_6-x_0*x_2*x_5*x_6-x_1*x_2*x_5*x_6-x_0*x_3*x_5*x_6-x_1*x_3*x_5*x_6-2*x_2*x_3*x_5*x_6-2*x_0*x_4*x_5*x_6-2*x_1*x_4*x_5*x_6-2*x_2*x_4*x_5*x_6-2*x_3*x_4*x_5*x_6-x_0*x_1*x_2*x_7-2*x_0*x_1*x_3*x_7-x_0*x_2*x_3*x_7-x_1*x_2*x_3*x_7-x_0*x_1*x_4*x_7-x_1*x_2*x_4*x_7-x_0*x_3*x_4*x_7-x_1*x_3*x_4*x_7-x_0*x_1*x_5*x_7-x_0*x_2*x_5*x_7-x_0*x_3*x_5*x_7-x_1*x_3*x_5*x_7-x_1*x_4*x_5*x_7-x_3*x_4*x_5*x_7-x_0*x_1*x_6*x_7-x_0*x_3*x_6*x_7-x_1*x_3*x_6*x_7-x_2*x_3*x_6*x_7-x_0*x_4*x_6*x_7-x_1*x_4*x_6*x_7-x_2*x_4*x_6*x_7-x_3*x_4*x_6*x_7-x_1*x_5*x_6*x_7-x_3*x_5*x_6*x_7-x_4*x_5*x_6*x_7-2*x_0*x_1*x_2*x_8-x_0*x_1*x_3*x_8-2*x_0*x_2*x_3*x_8-x_1*x_2*x_3*x_8-x_0*x_1*x_4*x_8-2*x_0*x_2*x_4*x_8-x_1*x_2*x_4*x_8-x_0*x_3*x_4*x_8-x_1*x_3*x_4*x_8-x_2*x_3*x_4*x_8-x_0*x_1*x_5*x_8-2*x_0*x_2*x_5*x_8-2*x_1*x_2*x_5*x_8-x_0*x_3*x_5*x_8-x_1*x_3*x_5*x_8-2*x_2*x_3*x_5*x_8-x_0*x_4*x_5*x_8-x_1*x_4*x_5*x_8-2*x_2*x_4*x_5*x_8-x_3*x_4*x_5*x_8-x_0*x_1*x_6*x_8-2*x_0*x_2*x_6*x_8-x_1*x_2*x_6*x_8-x_0*x_3*x_6*x_8-x_1*x_3*x_6*x_8-x_2*x_3*x_6*x_8-x_0*x_4*x_6*x_8-x_1*x_4*x_6*x_8-2*x_2*x_4*x_6*x_8-x_3*x_4*x_6*x_8-x_0*x_5*x_6*x_8-x_1*x_5*x_6*x_8-2*x_2*x_5*x_6*x_8-x_3*x_5*x_6*x_8-2*x_4*x_5*x_6*x_8-x_0*x_1*x_7*x_8-x_0*x_2*x_7*x_8-x_1*x_2*x_7*x_8-x_0*x_3*x_7*x_8-x_1*x_3*x_7*x_8-x_2*x_3*x_7*x_8-x_0*x_4*x_7*x_8-x_1*x_4*x_7*x_8-x_0*x_5*x_7*x_8-x_2*x_5*x_7*x_8-x_4*x_5*x_7*x_8-x_0*x_6*x_7*x_8-x_3*x_6*x_7*x_8-x_4*x_6*x_7*x_8-x_5*x_6*x_7*x_8-2*x_0*x_1*x_2-2*x_0*x_1*x_3-2*x_0*x_2*x_3-2*x_1*x_2*x_3-2*x_0*x_1*x_4-2*x_0*x_2*x_4-2*x_1*x_2*x_4-2*x_0*x_3*x_4-2*x_1*x_3*x_4-2*x_2*x_3*x_4-2*x_0*x_1*x_5-2*x_0*x_2*x_5-2*x_1*x_2*x_5-2*x_0*x_3*x_5-2*x_1*x_3*x_5-2*x_2*x_3*x_5-2*x_0*x_4*x_5-2*x_1*x_4*x_5-2*x_2*x_4*x_5-2*x_3*x_4*x_5-2*x_0*x_1*x_6-2*x_0*x_2*x_6-2*x_1*x_2*x_6-2*x_0*x_3*x_6-2*x_1*x_3*x_6-2*x_2*x_3*x_6-2*x_0*x_4*x_6-2*x_1*x_4*x_6-2*x_2*x_4*x_6-2*x_3*x_4*x_6-2*x_0*x_5*x_6-2*x_1*x_5*x_6-2*x_2*x_5*x_6-2*x_3*x_5*x_6-3*x_4*x_5*x_6-2*x_0*x_1*x_7-x_0*x_2*x_7-x_1*x_2*x_7-2*x_0*x_3*x_7-2*x_1*x_3*x_7-x_2*x_3*x_7-x_0*x_4*x_7-2*x_1*x_4*x_7-x_2*x_4*x_7-x_3*x_4*x_7-x_0*x_5*x_7-x_1*x_5*x_7-x_2*x_5*x_7-x_3*x_5*x_7-x_4*x_5*x_7-x_0*x_6*x_7-x_1*x_6*x_7-x_2*x_6*x_7-2*x_3*x_6*x_7-2*x_4*x_6*x_7-x_5*x_6*x_7-2*x_0*x_1*x_8-3*x_0*x_2*x_8-2*x_1*x_2*x_8-2*x_0*x_3*x_8-2*x_1*x_3*x_8-2*x_2*x_3*x_8-2*x_0*x_4*x_8-2*x_1*x_4*x_8-2*x_2*x_4*x_8-2*x_3*x_4*x_8-2*x_0*x_5*x_8-2*x_1*x_5*x_8-3*x_2*x_5*x_8-2*x_3*x_5*x_8-2*x_4*x_5*x_8-2*x_0*x_6*x_8-2*x_1*x_6*x_8-2*x_2*x_6*x_8-2*x_3*x_6*x_8-2*x_4*x_6*x_8-2*x_5*x_6*x_8-2*x_0*x_7*x_8-x_1*x_7*x_8-x_2*x_7*x_8-x_3*x_7*x_8-x_4*x_7*x_8-x_5*x_7*x_8-x_6*x_7*x_8-3*x_0*x_1-3*x_0*x_2-3*x_1*x_2-3*x_0*x_3-3*x_1*x_3-3*x_2*x_3-3*x_0*x_4-3*x_1*x_4-3*x_2*x_4-3*x_3*x_4-3*x_0*x_5-3*x_1*x_5-3*x_2*x_5-3*x_3*x_5-3*x_4*x_5-3*x_0*x_6-3*x_1*x_6-3*x_2*x_6-3*x_3*x_6-3*x_4*x_6-3*x_5*x_6-2*x_0*x_7-2*x_1*x_7-2*x_2*x_7-2*x_3*x_7-2*x_4*x_7-2*x_5*x_7-2*x_6*x_7-3*x_0*x_8-3*x_1*x_8-3*x_2*x_8-3*x_3*x_8-3*x_4*x_8-3*x_5*x_8-3*x_6*x_8-2*x_7*x_8-4*x_0-4*x_1-4*x_2-4*x_3-4*x_4-4*x_5-4*x_6-3*x_7-4*x_8+5*z; D3= -x_0*x_1*x_2*x_3*x_4*x_5-x_0*x_1*x_2*x_3*x_5*x_6-x_0*x_1*x_3*x_4*x_5*x_6-x_0*x_1*x_2*x_3*x_4*x_7-x_1*x_2*x_3*x_4*x_5*x_7-x_0*x_1*x_2*x_3*x_6*x_7-x_0*x_1*x_3*x_4*x_6*x_7-x_1*x_2*x_3*x_5*x_6*x_7-x_1*x_3*x_4*x_5*x_6*x_7-x_0*x_1*x_2*x_5*x_6*x_8-x_0*x_2*x_3*x_5*x_6*x_8-x_1*x_2*x_4*x_5*x_7*x_8-x_2*x_3*x_4*x_5*x_7*x_8-x_0*x_1*x_2*x_6*x_7*x_8-x_0*x_2*x_3*x_6*x_7*x_8-x_1*x_2*x_5*x_6*x_7*x_8-x_2*x_3*x_5*x_6*x_7*x_8-x_1*x_4*x_5*x_6*x_7*x_8-x_3*x_4*x_5*x_6*x_7*x_8-x_0*x_1*x_2*x_3*x_4-x_0*x_1*x_2*x_3*x_5-x_0*x_1*x_2*x_4*x_5-x_0*x_1*x_3*x_4*x_5-x_0*x_2*x_3*x_4*x_5-x_1*x_2*x_3*x_4*x_5-2*x_0*x_1*x_2*x_3*x_6-x_0*x_1*x_3*x_4*x_6-x_0*x_1*x_2*x_5*x_6-x_0*x_1*x_3*x_5*x_6-x_0*x_2*x_3*x_5*x_6-x_1*x_2*x_3*x_5*x_6-x_0*x_1*x_4*x_5*x_6-x_1*x_2*x_4*x_5*x_6-x_0*x_3*x_4*x_5*x_6-x_1*x_3*x_4*x_5*x_6-x_2*x_3*x_4*x_5*x_6-x_0*x_1*x_2*x_3*x_7-x_0*x_1*x_2*x_4*x_7-x_0*x_1*x_3*x_4*x_7-x_0*x_2*x_3*x_4*x_7-x_1*x_2*x_3*x_4*x_7-x_0*x_1*x_2*x_5*x_7-x_0*x_2*x_3*x_5*x_7-x_1*x_2*x_3*x_5*x_7-x_1*x_2*x_4*x_5*x_7-2*x_1*x_3*x_4*x_5*x_7-x_2*x_3*x_4*x_5*x_7-x_0*x_1*x_2*x_6*x_7-x_0*x_1*x_3*x_6*x_7-x_0*x_2*x_3*x_6*x_7-x_1*x_2*x_3*x_6*x_7-x_0*x_1*x_4*x_6*x_7-x_1*x_2*x_4*x_6*x_7-x_0*x_3*x_4*x_6*x_7-x_1*x_3*x_4*x_6*x_7-x_2*x_3*x_4*x_6*x_7-x_0*x_1*x_5*x_6*x_7-x_1*x_2*x_5*x_6*x_7-x_0*x_3*x_5*x_6*x_7-x_1*x_3*x_5*x_6*x_7-x_2*x_3*x_5*x_6*x_7-x_1*x_4*x_5*x_6*x_7-x_3*x_4*x_5*x_6*x_7-x_0*x_1*x_2*x_5*x_8-x_0*x_2*x_3*x_5*x_8-x_1*x_2*x_3*x_5*x_8-x_1*x_2*x_4*x_5*x_8-x_2*x_3*x_4*x_5*x_8-x_0*x_1*x_2*x_6*x_8-x_0*x_2*x_3*x_6*x_8-x_0*x_1*x_5*x_6*x_8-x_0*x_2*x_5*x_6*x_8-x_1*x_2*x_5*x_6*x_8-x_0*x_3*x_5*x_6*x_8-x_1*x_3*x_5*x_6*x_8-x_2*x_3*x_5*x_6*x_8-x_1*x_4*x_5*x_6*x_8-x_3*x_4*x_5*x_6*x_8-x_0*x_1*x_2*x_7*x_8-x_0*x_2*x_3*x_7*x_8-x_1*x_2*x_3*x_7*x_8-x_1*x_2*x_4*x_7*x_8-x_2*x_3*x_4*x_7*x_8-x_1*x_2*x_5*x_7*x_8-x_2*x_3*x_5*x_7*x_8-x_1*x_4*x_5*x_7*x_8-x_2*x_4*x_5*x_7*x_8-x_3*x_4*x_5*x_7*x_8-x_0*x_1*x_6*x_7*x_8-x_0*x_2*x_6*x_7*x_8-x_1*x_2*x_6*x_7*x_8-x_0*x_3*x_6*x_7*x_8-x_1*x_3*x_6*x_7*x_8-x_2*x_3*x_6*x_7*x_8-x_1*x_4*x_6*x_7*x_8-x_3*x_4*x_6*x_7*x_8-x_1*x_5*x_6*x_7*x_8-2*x_2*x_5*x_6*x_7*x_8-x_3*x_5*x_6*x_7*x_8-x_4*x_5*x_6*x_7*x_8-2*x_0*x_1*x_2*x_3-x_0*x_1*x_2*x_4-2*x_0*x_1*x_3*x_4-x_0*x_2*x_3*x_4-x_1*x_2*x_3*x_4-2*x_0*x_1*x_2*x_5-x_0*x_1*x_3*x_5-2*x_0*x_2*x_3*x_5-2*x_1*x_2*x_3*x_5-x_0*x_1*x_4*x_5-x_0*x_2*x_4*x_5-2*x_1*x_2*x_4*x_5-x_0*x_3*x_4*x_5-2*x_1*x_3*x_4*x_5-2*x_2*x_3*x_4*x_5-2*x_0*x_1*x_2*x_6-2*x_0*x_1*x_3*x_6-2*x_0*x_2*x_3*x_6-2*x_1*x_2*x_3*x_6-x_0*x_1*x_4*x_6-x_1*x_2*x_4*x_6-x_0*x_3*x_4*x_6-x_1*x_3*x_4*x_6-x_2*x_3*x_4*x_6-2*x_0*x_1*x_5*x_6-x_0*x_2*x_5*x_6-2*x_1*x_2*x_5*x_6-2*x_0*x_3*x_5*x_6-2*x_1*x_3*x_5*x_6-2*x_2*x_3*x_5*x_6-x_0*x_4*x_5*x_6-2*x_1*x_4*x_5*x_6-x_2*x_4*x_5*x_6-2*x_3*x_4*x_5*x_6-2*x_0*x_1*x_2*x_7-x_0*x_1*x_3*x_7-2*x_0*x_2*x_3*x_7-2*x_1*x_2*x_3*x_7-x_0*x_1*x_4*x_7-x_0*x_2*x_4*x_7-2*x_1*x_2*x_4*x_7-x_0*x_3*x_4*x_7-2*x_1*x_3*x_4*x_7-2*x_2*x_3*x_4*x_7-x_0*x_1*x_5*x_7-x_0*x_2*x_5*x_7-2*x_1*x_2*x_5*x_7-x_0*x_3*x_5*x_7-2*x_1*x_3*x_5*x_7-2*x_2*x_3*x_5*x_7-2*x_1*x_4*x_5*x_7-x_2*x_4*x_5*x_7-2*x_3*x_4*x_5*x_7-2*x_0*x_1*x_6*x_7-x_0*x_2*x_6*x_7-2*x_1*x_2*x_6*x_7-2*x_0*x_3*x_6*x_7-2*x_1*x_3*x_6*x_7-2*x_2*x_3*x_6*x_7-x_0*x_4*x_6*x_7-2*x_1*x_4*x_6*x_7-x_2*x_4*x_6*x_7-2*x_3*x_4*x_6*x_7-x_0*x_5*x_6*x_7-2*x_1*x_5*x_6*x_7-2*x_2*x_5*x_6*x_7-2*x_3*x_5*x_6*x_7-x_4*x_5*x_6*x_7-x_0*x_1*x_2*x_8-x_0*x_2*x_3*x_8-x_1*x_2*x_3*x_8-x_1*x_2*x_4*x_8-x_2*x_3*x_4*x_8-x_0*x_1*x_5*x_8-x_0*x_2*x_5*x_8-2*x_1*x_2*x_5*x_8-x_0*x_3*x_5*x_8-x_1*x_3*x_5*x_8-2*x_2*x_3*x_5*x_8-x_1*x_4*x_5*x_8-x_2*x_4*x_5*x_8-x_3*x_4*x_5*x_8-x_0*x_1*x_6*x_8-2*x_0*x_2*x_6*x_8-x_1*x_2*x_6*x_8-x_0*x_3*x_6*x_8-x_1*x_3*x_6*x_8-x_2*x_3*x_6*x_8-x_1*x_4*x_6*x_8-x_3*x_4*x_6*x_8-x_0*x_5*x_6*x_8-2*x_1*x_5*x_6*x_8-2*x_2*x_5*x_6*x_8-2*x_3*x_5*x_6*x_8-x_4*x_5*x_6*x_8-x_0*x_1*x_7*x_8-x_0*x_2*x_7*x_8-2*x_1*x_2*x_7*x_8-x_0*x_3*x_7*x_8-x_1*x_3*x_7*x_8-2*x_2*x_3*x_7*x_8-x_1*x_4*x_7*x_8-x_2*x_4*x_7*x_8-x_3*x_4*x_7*x_8-x_1*x_5*x_7*x_8-2*x_2*x_5*x_7*x_8-x_3*x_5*x_7*x_8-2*x_4*x_5*x_7*x_8-x_0*x_6*x_7*x_8-2*x_1*x_6*x_7*x_8-2*x_2*x_6*x_7*x_8-2*x_3*x_6*x_7*x_8-x_4*x_6*x_7*x_8-2*x_5*x_6*x_7*x_8-3*x_0*x_1*x_2-2*x_0*x_1*x_3-3*x_0*x_2*x_3-3*x_1*x_2*x_3-2*x_0*x_1*x_4-x_0*x_2*x_4-2*x_1*x_2*x_4-2*x_0*x_3*x_4-2*x_1*x_3*x_4-2*x_2*x_3*x_4-2*x_0*x_1*x_5-2*x_0*x_2*x_5-3*x_1*x_2*x_5-2*x_0*x_3*x_5-3*x_1*x_3*x_5-3*x_2*x_3*x_5-x_0*x_4*x_5-3*x_1*x_4*x_5-2*x_2*x_4*x_5-3*x_3*x_4*x_5-3*x_0*x_1*x_6-2*x_0*x_2*x_6-3*x_1*x_2*x_6-3*x_0*x_3*x_6-3*x_1*x_3*x_6-3*x_2*x_3*x_6-x_0*x_4*x_6-2*x_1*x_4*x_6-2*x_2*x_4*x_6-2*x_3*x_4*x_6-2*x_0*x_5*x_6-3*x_1*x_5*x_6-3*x_2*x_5*x_6-3*x_3*x_5*x_6-2*x_4*x_5*x_6-2*x_0*x_1*x_7-2*x_0*x_2*x_7-3*x_1*x_2*x_7-2*x_0*x_3*x_7-3*x_1*x_3*x_7-3*x_2*x_3*x_7-x_0*x_4*x_7-3*x_1*x_4*x_7-2*x_2*x_4*x_7-3*x_3*x_4*x_7-2*x_0*x_5*x_7-3*x_1*x_5*x_7-3*x_2*x_5*x_7-3*x_3*x_5*x_7-2*x_4*x_5*x_7-2*x_0*x_6*x_7-3*x_1*x_6*x_7-3*x_2*x_6*x_7-3*x_3*x_6*x_7-2*x_4*x_6*x_7-3*x_5*x_6*x_7-x_0*x_1*x_8-2*x_0*x_2*x_8-2*x_1*x_2*x_8-x_0*x_3*x_8-2*x_1*x_3*x_8-2*x_2*x_3*x_8-x_0*x_4*x_8-x_1*x_4*x_8-x_2*x_4*x_8-x_3*x_4*x_8-x_0*x_5*x_8-2*x_1*x_5*x_8-3*x_2*x_5*x_8-2*x_3*x_5*x_8-2*x_4*x_5*x_8-2*x_0*x_6*x_8-2*x_1*x_6*x_8-2*x_2*x_6*x_8-2*x_3*x_6*x_8-x_4*x_6*x_8-3*x_5*x_6*x_8-x_0*x_7*x_8-2*x_1*x_7*x_8-3*x_2*x_7*x_8-2*x_3*x_7*x_8-2*x_4*x_7*x_8-2*x_5*x_7*x_8-3*x_6*x_7*x_8-3*x_0*x_1-3*x_0*x_2-4*x_1*x_2-3*x_0*x_3-4*x_1*x_3-4*x_2*x_3-2*x_0*x_4-3*x_1*x_4-3*x_2*x_4-3*x_3*x_4-3*x_0*x_5-4*x_1*x_5-4*x_2*x_5-4*x_3*x_5-3*x_4*x_5-3*x_0*x_6-4*x_1*x_6-4*x_2*x_6-4*x_3*x_6-3*x_4*x_6-4*x_5*x_6-3*x_0*x_7-4*x_1*x_7-4*x_2*x_7-4*x_3*x_7-3*x_4*x_7-4*x_5*x_7-4*x_6*x_7-2*x_0*x_8-3*x_1*x_8-3*x_2*x_8-3*x_3*x_8-2*x_4*x_8-3*x_5*x_8-3*x_6*x_8-3*x_7*x_8-4*x_0-5*x_1-5*x_2-5*x_3-4*x_4-5*x_5-5*x_6-5*x_7-4*x_8+6*z; D4= -x_0*x_1*x_2*x_3*x_4*x_6-x_0*x_2*x_3*x_4*x_5*x_6-x_1*x_2*x_3*x_4*x_5*x_6-x_0*x_1*x_2*x_3*x_6*x_7-x_0*x_1*x_2*x_4*x_6*x_7-x_0*x_1*x_2*x_5*x_6*x_7-x_1*x_2*x_3*x_5*x_6*x_7-x_0*x_2*x_4*x_5*x_6*x_7-x_2*x_3*x_4*x_5*x_6*x_7-x_1*x_2*x_3*x_4*x_5*x_8-x_2*x_3*x_4*x_5*x_6*x_8-x_0*x_1*x_2*x_3*x_7*x_8-x_0*x_1*x_3*x_5*x_7*x_8-x_1*x_2*x_3*x_5*x_7*x_8-x_1*x_3*x_4*x_5*x_7*x_8-x_0*x_1*x_2*x_6*x_7*x_8-x_0*x_1*x_5*x_6*x_7*x_8-x_1*x_3*x_5*x_6*x_7*x_8-x_3*x_4*x_5*x_6*x_7*x_8-x_0*x_1*x_2*x_3*x_4-x_0*x_1*x_2*x_3*x_5-x_0*x_2*x_3*x_4*x_5-x_1*x_2*x_3*x_4*x_5-x_0*x_1*x_2*x_3*x_6-x_0*x_1*x_2*x_4*x_6-x_0*x_1*x_3*x_4*x_6-x_0*x_2*x_3*x_4*x_6-x_1*x_2*x_3*x_4*x_6-x_0*x_1*x_2*x_5*x_6-x_0*x_2*x_3*x_5*x_6-x_1*x_2*x_3*x_5*x_6-x_0*x_2*x_4*x_5*x_6-x_1*x_2*x_4*x_5*x_6-x_0*x_3*x_4*x_5*x_6-x_1*x_3*x_4*x_5*x_6-2*x_2*x_3*x_4*x_5*x_6-x_0*x_1*x_2*x_3*x_7-x_0*x_1*x_2*x_4*x_7-x_1*x_2*x_3*x_4*x_7-x_0*x_1*x_2*x_5*x_7-x_0*x_1*x_3*x_5*x_7-x_1*x_2*x_3*x_5*x_7-x_0*x_2*x_4*x_5*x_7-x_1*x_3*x_4*x_5*x_7-x_2*x_3*x_4*x_5*x_7-2*x_0*x_1*x_2*x_6*x_7-x_0*x_1*x_3*x_6*x_7-x_0*x_2*x_3*x_6*x_7-x_1*x_2*x_3*x_6*x_7-x_0*x_1*x_4*x_6*x_7-x_0*x_2*x_4*x_6*x_7-x_1*x_2*x_4*x_6*x_7-x_2*x_3*x_4*x_6*x_7-x_0*x_1*x_5*x_6*x_7-x_0*x_2*x_5*x_6*x_7-x_1*x_2*x_5*x_6*x_7-x_0*x_3*x_5*x_6*x_7-x_1*x_3*x_5*x_6*x_7-x_2*x_3*x_5*x_6*x_7-x_0*x_4*x_5*x_6*x_7-x_1*x_4*x_5*x_6*x_7-x_2*x_4*x_5*x_6*x_7-x_3*x_4*x_5*x_6*x_7-x_0*x_1*x_2*x_3*x_8-x_1*x_2*x_3*x_4*x_8-x_0*x_1*x_3*x_5*x_8-x_1*x_2*x_3*x_5*x_8-x_1*x_2*x_4*x_5*x_8-x_1*x_3*x_4*x_5*x_8-x_2*x_3*x_4*x_5*x_8-x_0*x_1*x_2*x_6*x_8-x_1*x_2*x_3*x_6*x_8-x_2*x_3*x_4*x_6*x_8-x_0*x_1*x_5*x_6*x_8-x_1*x_3*x_5*x_6*x_8-x_2*x_3*x_5*x_6*x_8-x_2*x_4*x_5*x_6*x_8-x_3*x_4*x_5*x_6*x_8-x_0*x_1*x_2*x_7*x_8-x_0*x_1*x_3*x_7*x_8-x_0*x_2*x_3*x_7*x_8-x_1*x_2*x_3*x_7*x_8-x_1*x_3*x_4*x_7*x_8-x_0*x_1*x_5*x_7*x_8-x_1*x_2*x_5*x_7*x_8-x_0*x_3*x_5*x_7*x_8-2*x_1*x_3*x_5*x_7*x_8-x_2*x_3*x_5*x_7*x_8-x_1*x_4*x_5*x_7*x_8-x_3*x_4*x_5*x_7*x_8-x_0*x_1*x_6*x_7*x_8-x_0*x_2*x_6*x_7*x_8-x_1*x_2*x_6*x_7*x_8-x_1*x_3*x_6*x_7*x_8-x_3*x_4*x_6*x_7*x_8-x_0*x_5*x_6*x_7*x_8-x_1*x_5*x_6*x_7*x_8-x_2*x_5*x_6*x_7*x_8-x_3*x_5*x_6*x_7*x_8-x_4*x_5*x_6*x_7*x_8-2*x_0*x_1*x_2*x_3-x_0*x_1*x_2*x_4-x_0*x_1*x_3*x_4-x_0*x_2*x_3*x_4-2*x_1*x_2*x_3*x_4-2*x_0*x_1*x_2*x_5-x_0*x_1*x_3*x_5-x_0*x_2*x_3*x_5-2*x_1*x_2*x_3*x_5-x_0*x_2*x_4*x_5-x_1*x_2*x_4*x_5-x_0*x_3*x_4*x_5-2*x_1*x_3*x_4*x_5-2*x_2*x_3*x_4*x_5-2*x_0*x_1*x_2*x_6-x_0*x_1*x_3*x_6-2*x_0*x_2*x_3*x_6-2*x_1*x_2*x_3*x_6-x_0*x_1*x_4*x_6-2*x_0*x_2*x_4*x_6-2*x_1*x_2*x_4*x_6-x_0*x_3*x_4*x_6-x_1*x_3*x_4*x_6-2*x_2*x_3*x_4*x_6-x_0*x_1*x_5*x_6-2*x_0*x_2*x_5*x_6-2*x_1*x_2*x_5*x_6-x_0*x_3*x_5*x_6-2*x_1*x_3*x_5*x_6-2*x_2*x_3*x_5*x_6-x_0*x_4*x_5*x_6-2*x_1*x_4*x_5*x_6-2*x_2*x_4*x_5*x_6-2*x_3*x_4*x_5*x_6-2*x_0*x_1*x_2*x_7-2*x_0*x_1*x_3*x_7-x_0*x_2*x_3*x_7-2*x_1*x_2*x_3*x_7-x_0*x_1*x_4*x_7-x_0*x_2*x_4*x_7-x_1*x_2*x_4*x_7-x_1*x_3*x_4*x_7-2*x_2*x_3*x_4*x_7-2*x_0*x_1*x_5*x_7-x_0*x_2*x_5*x_7-2*x_1*x_2*x_5*x_7-x_0*x_3*x_5*x_7-2*x_1*x_3*x_5*x_7-2*x_2*x_3*x_5*x_7-x_0*x_4*x_5*x_7-x_1*x_4*x_5*x_7-x_2*x_4*x_5*x_7-2*x_3*x_4*x_5*x_7-2*x_0*x_1*x_6*x_7-2*x_0*x_2*x_6*x_7-2*x_1*x_2*x_6*x_7-2*x_0*x_3*x_6*x_7-2*x_1*x_3*x_6*x_7-2*x_2*x_3*x_6*x_7-x_0*x_4*x_6*x_7-x_1*x_4*x_6*x_7-2*x_2*x_4*x_6*x_7-x_3*x_4*x_6*x_7-2*x_0*x_5*x_6*x_7-2*x_1*x_5*x_6*x_7-2*x_2*x_5*x_6*x_7-2*x_3*x_5*x_6*x_7-2*x_4*x_5*x_6*x_7-x_0*x_1*x_2*x_8-x_0*x_1*x_3*x_8-x_0*x_2*x_3*x_8-2*x_1*x_2*x_3*x_8-x_1*x_2*x_4*x_8-x_1*x_3*x_4*x_8-x_2*x_3*x_4*x_8-x_0*x_1*x_5*x_8-x_1*x_2*x_5*x_8-x_0*x_3*x_5*x_8-2*x_1*x_3*x_5*x_8-2*x_2*x_3*x_5*x_8-x_1*x_4*x_5*x_8-x_2*x_4*x_5*x_8-2*x_3*x_4*x_5*x_8-x_0*x_1*x_6*x_8-x_0*x_2*x_6*x_8-x_1*x_2*x_6*x_8-2*x_1*x_3*x_6*x_8-x_2*x_3*x_6*x_8-x_2*x_4*x_6*x_8-x_3*x_4*x_6*x_8-x_0*x_5*x_6*x_8-x_1*x_5*x_6*x_8-x_2*x_5*x_6*x_8-2*x_3*x_5*x_6*x_8-x_4*x_5*x_6*x_8-2*x_0*x_1*x_7*x_8-x_0*x_2*x_7*x_8-2*x_1*x_2*x_7*x_8-x_0*x_3*x_7*x_8-2*x_1*x_3*x_7*x_8-x_2*x_3*x_7*x_8-x_1*x_4*x_7*x_8-x_3*x_4*x_7*x_8-x_0*x_5*x_7*x_8-2*x_1*x_5*x_7*x_8-2*x_2*x_5*x_7*x_8-2*x_3*x_5*x_7*x_8-x_4*x_5*x_7*x_8-x_0*x_6*x_7*x_8-2*x_1*x_6*x_7*x_8-x_2*x_6*x_7*x_8-x_3*x_6*x_7*x_8-x_4*x_6*x_7*x_8-2*x_5*x_6*x_7*x_8-3*x_0*x_1*x_2-2*x_0*x_1*x_3-2*x_0*x_2*x_3-3*x_1*x_2*x_3-x_0*x_1*x_4-2*x_0*x_2*x_4-2*x_1*x_2*x_4-x_0*x_3*x_4-2*x_1*x_3*x_4-3*x_2*x_3*x_4-2*x_0*x_1*x_5-2*x_0*x_2*x_5-3*x_1*x_2*x_5-2*x_0*x_3*x_5-3*x_1*x_3*x_5-3*x_2*x_3*x_5-x_0*x_4*x_5-2*x_1*x_4*x_5-2*x_2*x_4*x_5-3*x_3*x_4*x_5-2*x_0*x_1*x_6-3*x_0*x_2*x_6-3*x_1*x_2*x_6-2*x_0*x_3*x_6-3*x_1*x_3*x_6-3*x_2*x_3*x_6-2*x_0*x_4*x_6-2*x_1*x_4*x_6-3*x_2*x_4*x_6-2*x_3*x_4*x_6-2*x_0*x_5*x_6-3*x_1*x_5*x_6-3*x_2*x_5*x_6-3*x_3*x_5*x_6-3*x_4*x_5*x_6-3*x_0*x_1*x_7-2*x_0*x_2*x_7-3*x_1*x_2*x_7-2*x_0*x_3*x_7-3*x_1*x_3*x_7-3*x_2*x_3*x_7-x_0*x_4*x_7-2*x_1*x_4*x_7-2*x_2*x_4*x_7-2*x_3*x_4*x_7-2*x_0*x_5*x_7-3*x_1*x_5*x_7-3*x_2*x_5*x_7-3*x_3*x_5*x_7-2*x_4*x_5*x_7-3*x_0*x_6*x_7-3*x_1*x_6*x_7-3*x_2*x_6*x_7-3*x_3*x_6*x_7-2*x_4*x_6*x_7-3*x_5*x_6*x_7-2*x_0*x_1*x_8-x_0*x_2*x_8-2*x_1*x_2*x_8-x_0*x_3*x_8-3*x_1*x_3*x_8-2*x_2*x_3*x_8-x_0*x_4*x_8-x_1*x_4*x_8-x_2*x_4*x_8-2*x_3*x_4*x_8-x_0*x_5*x_8-2*x_1*x_5*x_8-2*x_2*x_5*x_8-3*x_3*x_5*x_8-2*x_4*x_5*x_8-x_0*x_6*x_8-2*x_1*x_6*x_8-2*x_2*x_6*x_8-2*x_3*x_6*x_8-x_4*x_6*x_8-2*x_5*x_6*x_8-2*x_0*x_7*x_8-3*x_1*x_7*x_8-2*x_2*x_7*x_8-2*x_3*x_7*x_8-x_4*x_7*x_8-3*x_5*x_7*x_8-2*x_6*x_7*x_8-3*x_0*x_1-3*x_0*x_2-4*x_1*x_2-3*x_0*x_3-4*x_1*x_3-4*x_2*x_3-2*x_0*x_4-3*x_1*x_4-3*x_2*x_4-3*x_3*x_4-3*x_0*x_5-4*x_1*x_5-4*x_2*x_5-4*x_3*x_5-3*x_4*x_5-3*x_0*x_6-4*x_1*x_6-4*x_2*x_6-4*x_3*x_6-3*x_4*x_6-4*x_5*x_6-3*x_0*x_7-4*x_1*x_7-4*x_2*x_7-4*x_3*x_7-3*x_4*x_7-4*x_5*x_7-4*x_6*x_7-2*x_0*x_8-3*x_1*x_8-3*x_2*x_8-3*x_3*x_8-2*x_4*x_8-3*x_5*x_8-3*x_6*x_8-3*x_7*x_8-4*x_0-5*x_1-5*x_2-5*x_3-4*x_4-5*x_5-5*x_6-5*x_7-4*x_8+6*z; D5= -x_0*x_2*x_3*x_4*x_5*x_7-x_1*x_2*x_3*x_4*x_5*x_7-x_1*x_2*x_3*x_4*x_6*x_7-x_2*x_3*x_4*x_5*x_6*x_7-x_0*x_2*x_3*x_4*x_5*x_8-x_1*x_2*x_3*x_4*x_5*x_8-x_1*x_2*x_3*x_4*x_6*x_8-x_0*x_1*x_2*x_5*x_6*x_8-x_0*x_2*x_3*x_5*x_6*x_8-x_0*x_1*x_4*x_5*x_6*x_8-x_0*x_3*x_4*x_5*x_6*x_8-x_1*x_3*x_4*x_5*x_6*x_8-x_2*x_3*x_4*x_5*x_6*x_8-x_2*x_3*x_4*x_5*x_7*x_8-x_0*x_1*x_2*x_6*x_7*x_8-x_3*x_4*x_5*x_6*x_7*x_8-x_0*x_2*x_3*x_4*x_5-x_1*x_2*x_3*x_4*x_5-x_1*x_2*x_3*x_4*x_6-x_0*x_1*x_2*x_5*x_6-x_0*x_2*x_3*x_5*x_6-x_0*x_1*x_4*x_5*x_6-x_0*x_3*x_4*x_5*x_6-x_1*x_3*x_4*x_5*x_6-2*x_2*x_3*x_4*x_5*x_6-x_0*x_2*x_3*x_4*x_7-x_1*x_2*x_3*x_4*x_7-x_0*x_2*x_3*x_5*x_7-x_1*x_2*x_3*x_5*x_7-x_0*x_2*x_4*x_5*x_7-x_1*x_2*x_4*x_5*x_7-x_0*x_3*x_4*x_5*x_7-x_1*x_3*x_4*x_5*x_7-2*x_2*x_3*x_4*x_5*x_7-x_0*x_1*x_2*x_6*x_7-x_0*x_2*x_3*x_6*x_7-x_1*x_2*x_3*x_6*x_7-x_1*x_2*x_4*x_6*x_7-x_0*x_3*x_4*x_6*x_7-x_1*x_3*x_4*x_6*x_7-x_2*x_3*x_4*x_6*x_7-x_1*x_2*x_5*x_6*x_7-x_2*x_3*x_5*x_6*x_7-x_2*x_4*x_5*x_6*x_7-x_3*x_4*x_5*x_6*x_7-x_0*x_2*x_3*x_4*x_8-x_1*x_2*x_3*x_4*x_8-x_0*x_1*x_2*x_5*x_8-x_0*x_2*x_3*x_5*x_8-x_1*x_2*x_3*x_5*x_8-x_0*x_1*x_4*x_5*x_8-x_0*x_2*x_4*x_5*x_8-x_1*x_2*x_4*x_5*x_8-2*x_0*x_3*x_4*x_5*x_8-x_1*x_3*x_4*x_5*x_8-2*x_2*x_3*x_4*x_5*x_8-x_0*x_1*x_2*x_6*x_8-x_0*x_1*x_3*x_6*x_8-x_0*x_2*x_3*x_6*x_8-x_1*x_2*x_3*x_6*x_8-x_0*x_1*x_4*x_6*x_8-x_0*x_2*x_4*x_6*x_8-x_1*x_2*x_4*x_6*x_8-x_0*x_3*x_4*x_6*x_8-x_1*x_3*x_4*x_6*x_8-x_2*x_3*x_4*x_6*x_8-x_0*x_1*x_5*x_6*x_8-x_0*x_2*x_5*x_6*x_8-x_1*x_2*x_5*x_6*x_8-x_0*x_3*x_5*x_6*x_8-x_1*x_3*x_5*x_6*x_8-x_2*x_3*x_5*x_6*x_8-x_0*x_4*x_5*x_6*x_8-x_1*x_4*x_5*x_6*x_8-x_2*x_4*x_5*x_6*x_8-2*x_3*x_4*x_5*x_6*x_8-x_0*x_1*x_2*x_7*x_8-x_2*x_3*x_4*x_7*x_8-x_0*x_2*x_5*x_7*x_8-x_2*x_3*x_5*x_7*x_8-x_2*x_4*x_5*x_7*x_8-x_3*x_4*x_5*x_7*x_8-x_0*x_1*x_6*x_7*x_8-x_0*x_2*x_6*x_7*x_8-x_1*x_2*x_6*x_7*x_8-x_2*x_3*x_6*x_7*x_8-x_1*x_4*x_6*x_7*x_8-x_3*x_4*x_6*x_7*x_8-x_0*x_5*x_6*x_7*x_8-x_3*x_5*x_6*x_7*x_8-x_4*x_5*x_6*x_7*x_8-x_0*x_1*x_2*x_3-x_0*x_1*x_2*x_4-x_0*x_2*x_3*x_4-2*x_1*x_2*x_3*x_4-x_0*x_1*x_2*x_5-2*x_0*x_2*x_3*x_5-x_1*x_2*x_3*x_5-x_0*x_1*x_4*x_5-x_0*x_2*x_4*x_5-x_1*x_2*x_4*x_5-2*x_0*x_3*x_4*x_5-2*x_1*x_3*x_4*x_5-3*x_2*x_3*x_4*x_5-x_0*x_1*x_2*x_6-x_0*x_1*x_3*x_6-x_0*x_2*x_3*x_6-x_1*x_2*x_3*x_6-x_0*x_1*x_4*x_6-x_0*x_2*x_4*x_6-x_1*x_2*x_4*x_6-x_0*x_3*x_4*x_6-2*x_1*x_3*x_4*x_6-2*x_2*x_3*x_4*x_6-x_0*x_1*x_5*x_6-x_0*x_2*x_5*x_6-x_1*x_2*x_5*x_6-x_0*x_3*x_5*x_6-x_1*x_3*x_5*x_6-2*x_2*x_3*x_5*x_6-x_0*x_4*x_5*x_6-x_1*x_4*x_5*x_6-2*x_2*x_4*x_5*x_6-3*x_3*x_4*x_5*x_6-x_0*x_1*x_2*x_7-x_0*x_2*x_3*x_7-x_1*x_2*x_3*x_7-x_0*x_2*x_4*x_7-x_1*x_2*x_4*x_7-x_0*x_3*x_4*x_7-x_1*x_3*x_4*x_7-2*x_2*x_3*x_4*x_7-x_0*x_2*x_5*x_7-x_1*x_2*x_5*x_7-x_0*x_3*x_5*x_7-x_1*x_3*x_5*x_7-2*x_2*x_3*x_5*x_7-x_0*x_4*x_5*x_7-x_1*x_4*x_5*x_7-2*x_2*x_4*x_5*x_7-2*x_3*x_4*x_5*x_7-x_0*x_1*x_6*x_7-x_0*x_2*x_6*x_7-2*x_1*x_2*x_6*x_7-x_0*x_3*x_6*x_7-x_1*x_3*x_6*x_7-2*x_2*x_3*x_6*x_7-x_0*x_4*x_6*x_7-x_1*x_4*x_6*x_7-x_2*x_4*x_6*x_7-2*x_3*x_4*x_6*x_7-x_0*x_5*x_6*x_7-x_1*x_5*x_6*x_7-x_2*x_5*x_6*x_7-x_3*x_5*x_6*x_7-x_4*x_5*x_6*x_7-x_0*x_1*x_2*x_8-x_0*x_1*x_3*x_8-x_0*x_2*x_3*x_8-x_1*x_2*x_3*x_8-x_0*x_1*x_4*x_8-x_0*x_2*x_4*x_8-x_1*x_2*x_4*x_8-2*x_0*x_3*x_4*x_8-x_1*x_3*x_4*x_8-2*x_2*x_3*x_4*x_8-x_0*x_1*x_5*x_8-2*x_0*x_2*x_5*x_8-2*x_1*x_2*x_5*x_8-2*x_0*x_3*x_5*x_8-x_1*x_3*x_5*x_8-2*x_2*x_3*x_5*x_8-2*x_0*x_4*x_5*x_8-2*x_1*x_4*x_5*x_8-2*x_2*x_4*x_5*x_8-3*x_3*x_4*x_5*x_8-2*x_0*x_1*x_6*x_8-2*x_0*x_2*x_6*x_8-2*x_1*x_2*x_6*x_8-2*x_0*x_3*x_6*x_8-2*x_1*x_3*x_6*x_8-2*x_2*x_3*x_6*x_8-2*x_0*x_4*x_6*x_8-2*x_1*x_4*x_6*x_8-2*x_2*x_4*x_6*x_8-2*x_3*x_4*x_6*x_8-2*x_0*x_5*x_6*x_8-2*x_1*x_5*x_6*x_8-2*x_2*x_5*x_6*x_8-2*x_3*x_5*x_6*x_8-2*x_4*x_5*x_6*x_8-x_0*x_1*x_7*x_8-x_0*x_2*x_7*x_8-x_1*x_2*x_7*x_8-2*x_2*x_3*x_7*x_8-x_1*x_4*x_7*x_8-x_2*x_4*x_7*x_8-2*x_3*x_4*x_7*x_8-x_0*x_5*x_7*x_8-x_2*x_5*x_7*x_8-x_3*x_5*x_7*x_8-x_4*x_5*x_7*x_8-x_0*x_6*x_7*x_8-x_1*x_6*x_7*x_8-x_2*x_6*x_7*x_8-x_3*x_6*x_7*x_8-x_4*x_6*x_7*x_8-x_5*x_6*x_7*x_8-2*x_0*x_1*x_2-x_0*x_1*x_3-2*x_0*x_2*x_3-2*x_1*x_2*x_3-x_0*x_1*x_4-2*x_0*x_2*x_4-2*x_1*x_2*x_4-2*x_0*x_3*x_4-2*x_1*x_3*x_4-3*x_2*x_3*x_4-x_0*x_1*x_5-2*x_0*x_2*x_5-2*x_1*x_2*x_5-2*x_0*x_3*x_5-2*x_1*x_3*x_5-3*x_2*x_3*x_5-2*x_0*x_4*x_5-2*x_1*x_4*x_5-3*x_2*x_4*x_5-4*x_3*x_4*x_5-2*x_0*x_1*x_6-2*x_0*x_2*x_6-2*x_1*x_2*x_6-2*x_0*x_3*x_6-2*x_1*x_3*x_6-3*x_2*x_3*x_6-2*x_0*x_4*x_6-2*x_1*x_4*x_6-3*x_2*x_4*x_6-3*x_3*x_4*x_6-2*x_0*x_5*x_6-2*x_1*x_5*x_6-3*x_2*x_5*x_6-3*x_3*x_5*x_6-3*x_4*x_5*x_6-x_0*x_1*x_7-2*x_0*x_2*x_7-2*x_1*x_2*x_7-x_0*x_3*x_7-x_1*x_3*x_7-3*x_2*x_3*x_7-x_0*x_4*x_7-2*x_1*x_4*x_7-2*x_2*x_4*x_7-3*x_3*x_4*x_7-2*x_0*x_5*x_7-x_1*x_5*x_7-2*x_2*x_5*x_7-2*x_3*x_5*x_7-2*x_4*x_5*x_7-2*x_0*x_6*x_7-2*x_1*x_6*x_7-2*x_2*x_6*x_7-2*x_3*x_6*x_7-2*x_4*x_6*x_7-2*x_5*x_6*x_7-2*x_0*x_1*x_8-2*x_0*x_2*x_8-2*x_1*x_2*x_8-2*x_0*x_3*x_8-2*x_1*x_3*x_8-3*x_2*x_3*x_8-2*x_0*x_4*x_8-2*x_1*x_4*x_8-3*x_2*x_4*x_8-3*x_3*x_4*x_8-3*x_0*x_5*x_8-2*x_1*x_5*x_8-3*x_2*x_5*x_8-3*x_3*x_5*x_8-3*x_4*x_5*x_8-3*x_0*x_6*x_8-3*x_1*x_6*x_8-3*x_2*x_6*x_8-3*x_3*x_6*x_8-3*x_4*x_6*x_8-3*x_5*x_6*x_8-x_0*x_7*x_8-x_1*x_7*x_8-2*x_2*x_7*x_8-2*x_3*x_7*x_8-2*x_4*x_7*x_8-2*x_5*x_7*x_8-2*x_6*x_7*x_8-2*x_0*x_1-3*x_0*x_2-3*x_1*x_2-3*x_0*x_3-3*x_1*x_3-4*x_2*x_3-3*x_0*x_4-3*x_1*x_4-4*x_2*x_4-4*x_3*x_4-3*x_0*x_5-3*x_1*x_5-4*x_2*x_5-4*x_3*x_5-4*x_4*x_5-3*x_0*x_6-3*x_1*x_6-4*x_2*x_6-4*x_3*x_6-4*x_4*x_6-4*x_5*x_6-2*x_0*x_7-2*x_1*x_7-3*x_2*x_7-3*x_3*x_7-3*x_4*x_7-3*x_5*x_7-3*x_6*x_7-3*x_0*x_8-3*x_1*x_8-4*x_2*x_8-4*x_3*x_8-4*x_4*x_8-4*x_5*x_8-4*x_6*x_8-3*x_7*x_8-4*x_0-4*x_1-5*x_2-5*x_3-5*x_4-5*x_5-5*x_6-4*x_7-5*x_8+6*z; D6= -x_1*x_2*x_3*x_4*x_5*x_6-x_0*x_1*x_2*x_4*x_6*x_7-x_1*x_2*x_3*x_4*x_6*x_7-x_0*x_2*x_4*x_5*x_6*x_7-x_2*x_3*x_4*x_5*x_6*x_7-x_0*x_1*x_3*x_4*x_5*x_8-x_1*x_2*x_3*x_4*x_5*x_8-x_0*x_1*x_4*x_5*x_6*x_8-x_1*x_3*x_4*x_5*x_6*x_8-x_0*x_1*x_3*x_5*x_7*x_8-x_1*x_3*x_4*x_5*x_7*x_8-x_0*x_1*x_2*x_6*x_7*x_8-x_0*x_1*x_4*x_6*x_7*x_8-x_1*x_3*x_4*x_6*x_7*x_8-x_0*x_1*x_5*x_6*x_7*x_8-x_0*x_2*x_5*x_6*x_7*x_8-x_0*x_4*x_5*x_6*x_7*x_8-x_3*x_4*x_5*x_6*x_7*x_8-x_0*x_1*x_3*x_4*x_5-x_1*x_2*x_3*x_4*x_5-x_0*x_1*x_2*x_4*x_6-x_1*x_2*x_3*x_4*x_6-x_1*x_2*x_3*x_5*x_6-x_0*x_1*x_4*x_5*x_6-x_0*x_2*x_4*x_5*x_6-x_1*x_2*x_4*x_5*x_6-x_1*x_3*x_4*x_5*x_6-x_2*x_3*x_4*x_5*x_6-x_0*x_1*x_2*x_4*x_7-x_1*x_2*x_3*x_4*x_7-x_0*x_1*x_3*x_5*x_7-x_0*x_2*x_4*x_5*x_7-x_1*x_3*x_4*x_5*x_7-x_2*x_3*x_4*x_5*x_7-x_0*x_1*x_2*x_6*x_7-x_1*x_2*x_3*x_6*x_7-x_0*x_1*x_4*x_6*x_7-x_0*x_2*x_4*x_6*x_7-x_1*x_2*x_4*x_6*x_7-x_1*x_3*x_4*x_6*x_7-x_2*x_3*x_4*x_6*x_7-x_0*x_1*x_5*x_6*x_7-x_0*x_2*x_5*x_6*x_7-x_1*x_2*x_5*x_6*x_7-x_2*x_3*x_5*x_6*x_7-x_0*x_4*x_5*x_6*x_7-x_1*x_4*x_5*x_6*x_7-x_2*x_4*x_5*x_6*x_7-x_3*x_4*x_5*x_6*x_7-x_0*x_1*x_3*x_4*x_8-x_1*x_2*x_3*x_4*x_8-x_0*x_1*x_2*x_5*x_8-x_0*x_1*x_3*x_5*x_8-x_1*x_2*x_3*x_5*x_8-x_0*x_1*x_4*x_5*x_8-x_1*x_2*x_4*x_5*x_8-x_0*x_3*x_4*x_5*x_8-2*x_1*x_3*x_4*x_5*x_8-x_2*x_3*x_4*x_5*x_8-x_0*x_1*x_2*x_6*x_8-x_0*x_1*x_4*x_6*x_8-x_1*x_2*x_4*x_6*x_8-x_1*x_3*x_4*x_6*x_8-x_0*x_1*x_5*x_6*x_8-x_0*x_2*x_5*x_6*x_8-x_1*x_3*x_5*x_6*x_8-x_0*x_4*x_5*x_6*x_8-x_1*x_4*x_5*x_6*x_8-x_2*x_4*x_5*x_6*x_8-x_3*x_4*x_5*x_6*x_8-x_0*x_1*x_2*x_7*x_8-x_0*x_1*x_3*x_7*x_8-x_1*x_2*x_3*x_7*x_8-x_0*x_1*x_4*x_7*x_8-x_1*x_3*x_4*x_7*x_8-x_0*x_1*x_5*x_7*x_8-x_0*x_2*x_5*x_7*x_8-x_0*x_3*x_5*x_7*x_8-x_1*x_3*x_5*x_7*x_8-x_2*x_3*x_5*x_7*x_8-x_0*x_4*x_5*x_7*x_8-x_1*x_4*x_5*x_7*x_8-x_3*x_4*x_5*x_7*x_8-2*x_0*x_1*x_6*x_7*x_8-x_0*x_2*x_6*x_7*x_8-x_1*x_2*x_6*x_7*x_8-x_1*x_3*x_6*x_7*x_8-x_0*x_4*x_6*x_7*x_8-x_1*x_4*x_6*x_7*x_8-x_2*x_4*x_6*x_7*x_8-x_3*x_4*x_6*x_7*x_8-2*x_0*x_5*x_6*x_7*x_8-x_1*x_5*x_6*x_7*x_8-x_2*x_5*x_6*x_7*x_8-x_3*x_5*x_6*x_7*x_8-x_4*x_5*x_6*x_7*x_8-x_0*x_1*x_2*x_4-x_0*x_1*x_3*x_4-2*x_1*x_2*x_3*x_4-x_0*x_1*x_2*x_5-x_0*x_1*x_3*x_5-x_1*x_2*x_3*x_5-x_0*x_1*x_4*x_5-x_0*x_2*x_4*x_5-x_1*x_2*x_4*x_5-x_0*x_3*x_4*x_5-2*x_1*x_3*x_4*x_5-2*x_2*x_3*x_4*x_5-x_0*x_1*x_2*x_6-x_1*x_2*x_3*x_6-2*x_0*x_1*x_4*x_6-x_0*x_2*x_4*x_6-2*x_1*x_2*x_4*x_6-2*x_1*x_3*x_4*x_6-x_2*x_3*x_4*x_6-x_0*x_1*x_5*x_6-x_0*x_2*x_5*x_6-x_1*x_2*x_5*x_6-x_1*x_3*x_5*x_6-x_2*x_3*x_5*x_6-2*x_0*x_4*x_5*x_6-2*x_1*x_4*x_5*x_6-2*x_2*x_4*x_5*x_6-2*x_3*x_4*x_5*x_6-x_0*x_1*x_2*x_7-x_0*x_1*x_3*x_7-x_1*x_2*x_3*x_7-x_0*x_1*x_4*x_7-x_0*x_2*x_4*x_7-x_1*x_2*x_4*x_7-2*x_1*x_3*x_4*x_7-x_2*x_3*x_4*x_7-x_0*x_1*x_5*x_7-x_0*x_2*x_5*x_7-x_1*x_2*x_5*x_7-x_0*x_3*x_5*x_7-x_1*x_3*x_5*x_7-x_2*x_3*x_5*x_7-x_0*x_4*x_5*x_7-2*x_1*x_4*x_5*x_7-x_2*x_4*x_5*x_7-2*x_3*x_4*x_5*x_7-2*x_0*x_1*x_6*x_7-2*x_0*x_2*x_6*x_7-2*x_1*x_2*x_6*x_7-x_0*x_3*x_6*x_7-x_1*x_3*x_6*x_7-x_2*x_3*x_6*x_7-2*x_0*x_4*x_6*x_7-2*x_1*x_4*x_6*x_7-2*x_2*x_4*x_6*x_7-2*x_3*x_4*x_6*x_7-2*x_0*x_5*x_6*x_7-2*x_1*x_5*x_6*x_7-2*x_2*x_5*x_6*x_7-x_3*x_5*x_6*x_7-2*x_4*x_5*x_6*x_7-x_0*x_1*x_2*x_8-x_0*x_1*x_3*x_8-x_1*x_2*x_3*x_8-2*x_0*x_1*x_4*x_8-x_1*x_2*x_4*x_8-x_0*x_3*x_4*x_8-2*x_1*x_3*x_4*x_8-x_2*x_3*x_4*x_8-2*x_0*x_1*x_5*x_8-x_0*x_2*x_5*x_8-x_1*x_2*x_5*x_8-x_0*x_3*x_5*x_8-2*x_1*x_3*x_5*x_8-x_2*x_3*x_5*x_8-2*x_0*x_4*x_5*x_8-2*x_1*x_4*x_5*x_8-x_2*x_4*x_5*x_8-2*x_3*x_4*x_5*x_8-2*x_0*x_1*x_6*x_8-x_0*x_2*x_6*x_8-x_1*x_2*x_6*x_8-2*x_1*x_3*x_6*x_8-x_0*x_4*x_6*x_8-2*x_1*x_4*x_6*x_8-2*x_2*x_4*x_6*x_8-x_3*x_4*x_6*x_8-2*x_0*x_5*x_6*x_8-2*x_1*x_5*x_6*x_8-x_2*x_5*x_6*x_8-2*x_3*x_5*x_6*x_8-2*x_4*x_5*x_6*x_8-2*x_0*x_1*x_7*x_8-x_0*x_2*x_7*x_8-x_1*x_2*x_7*x_8-x_0*x_3*x_7*x_8-2*x_1*x_3*x_7*x_8-x_2*x_3*x_7*x_8-2*x_0*x_4*x_7*x_8-2*x_1*x_4*x_7*x_8-x_2*x_4*x_7*x_8-x_3*x_4*x_7*x_8-2*x_0*x_5*x_7*x_8-2*x_1*x_5*x_7*x_8-x_2*x_5*x_7*x_8-2*x_3*x_5*x_7*x_8-2*x_4*x_5*x_7*x_8-2*x_0*x_6*x_7*x_8-2*x_1*x_6*x_7*x_8-2*x_2*x_6*x_7*x_8-x_3*x_6*x_7*x_8-2*x_4*x_6*x_7*x_8-2*x_5*x_6*x_7*x_8-2*x_0*x_1*x_2-x_0*x_1*x_3-2*x_1*x_2*x_3-2*x_0*x_1*x_4-x_0*x_2*x_4-2*x_1*x_2*x_4-x_0*x_3*x_4-3*x_1*x_3*x_4-2*x_2*x_3*x_4-2*x_0*x_1*x_5-2*x_0*x_2*x_5-2*x_1*x_2*x_5-x_0*x_3*x_5-2*x_1*x_3*x_5-2*x_2*x_3*x_5-2*x_0*x_4*x_5-3*x_1*x_4*x_5-2*x_2*x_4*x_5-3*x_3*x_4*x_5-2*x_0*x_1*x_6-2*x_0*x_2*x_6-2*x_1*x_2*x_6-x_0*x_3*x_6-2*x_1*x_3*x_6-x_2*x_3*x_6-2*x_0*x_4*x_6-3*x_1*x_4*x_6-3*x_2*x_4*x_6-2*x_3*x_4*x_6-2*x_0*x_5*x_6-3*x_1*x_5*x_6-2*x_2*x_5*x_6-2*x_3*x_5*x_6-3*x_4*x_5*x_6-2*x_0*x_1*x_7-2*x_0*x_2*x_7-2*x_1*x_2*x_7-x_0*x_3*x_7-2*x_1*x_3*x_7-2*x_2*x_3*x_7-2*x_0*x_4*x_7-3*x_1*x_4*x_7-2*x_2*x_4*x_7-2*x_3*x_4*x_7-2*x_0*x_5*x_7-3*x_1*x_5*x_7-2*x_2*x_5*x_7-2*x_3*x_5*x_7-3*x_4*x_5*x_7-3*x_0*x_6*x_7-3*x_1*x_6*x_7-3*x_2*x_6*x_7-2*x_3*x_6*x_7-3*x_4*x_6*x_7-3*x_5*x_6*x_7-3*x_0*x_1*x_8-x_0*x_2*x_8-2*x_1*x_2*x_8-x_0*x_3*x_8-3*x_1*x_3*x_8-x_2*x_3*x_8-2*x_0*x_4*x_8-3*x_1*x_4*x_8-2*x_2*x_4*x_8-2*x_3*x_4*x_8-3*x_0*x_5*x_8-3*x_1*x_5*x_8-2*x_2*x_5*x_8-3*x_3*x_5*x_8-3*x_4*x_5*x_8-2*x_0*x_6*x_8-3*x_1*x_6*x_8-2*x_2*x_6*x_8-2*x_3*x_6*x_8-3*x_4*x_6*x_8-3*x_5*x_6*x_8-3*x_0*x_7*x_8-3*x_1*x_7*x_8-2*x_2*x_7*x_8-2*x_3*x_7*x_8-3*x_4*x_7*x_8-3*x_5*x_7*x_8-3*x_6*x_7*x_8-3*x_0*x_1-2*x_0*x_2-3*x_1*x_2-2*x_0*x_3-3*x_1*x_3-2*x_2*x_3-3*x_0*x_4-4*x_1*x_4-3*x_2*x_4-3*x_3*x_4-3*x_0*x_5-4*x_1*x_5-3*x_2*x_5-3*x_3*x_5-4*x_4*x_5-3*x_0*x_6-4*x_1*x_6-3*x_2*x_6-3*x_3*x_6-4*x_4*x_6-4*x_5*x_6-3*x_0*x_7-4*x_1*x_7-3*x_2*x_7-3*x_3*x_7-4*x_4*x_7-4*x_5*x_7-4*x_6*x_7-3*x_0*x_8-4*x_1*x_8-3*x_2*x_8-3*x_3*x_8-4*x_4*x_8-4*x_5*x_8-4*x_6*x_8-4*x_7*x_8-4*x_0-5*x_1-4*x_2-4*x_3-5*x_4-5*x_5-5*x_6-5*x_7-5*x_8+6*z; D7= -x_0*x_1*x_3*x_4*x_5*x_6-x_0*x_2*x_3*x_4*x_5*x_7-x_1*x_2*x_3*x_4*x_5*x_7-x_0*x_1*x_2*x_3*x_6*x_7-x_1*x_2*x_3*x_4*x_6*x_7-x_0*x_1*x_3*x_5*x_6*x_7-x_0*x_3*x_4*x_5*x_6*x_7-x_1*x_3*x_4*x_5*x_6*x_7-x_2*x_3*x_4*x_5*x_6*x_7-x_1*x_2*x_3*x_4*x_5*x_8-x_0*x_1*x_4*x_5*x_6*x_8-x_1*x_3*x_4*x_5*x_6*x_8-x_2*x_3*x_4*x_5*x_7*x_8-x_0*x_1*x_2*x_6*x_7*x_8-x_0*x_1*x_5*x_6*x_7*x_8-x_1*x_4*x_5*x_6*x_7*x_8-x_3*x_4*x_5*x_6*x_7*x_8-x_0*x_1*x_2*x_3*x_4-x_0*x_1*x_3*x_4*x_5-x_0*x_2*x_3*x_4*x_5-x_1*x_2*x_3*x_4*x_5-x_0*x_1*x_2*x_3*x_6-x_0*x_1*x_3*x_4*x_6-x_1*x_2*x_3*x_4*x_6-x_0*x_1*x_3*x_5*x_6-x_0*x_1*x_4*x_5*x_6-x_0*x_3*x_4*x_5*x_6-2*x_1*x_3*x_4*x_5*x_6-x_2*x_3*x_4*x_5*x_6-x_0*x_1*x_2*x_3*x_7-x_0*x_2*x_3*x_4*x_7-x_1*x_2*x_3*x_4*x_7-x_0*x_1*x_3*x_5*x_7-x_0*x_2*x_3*x_5*x_7-x_1*x_2*x_3*x_5*x_7-x_0*x_2*x_4*x_5*x_7-x_1*x_2*x_4*x_5*x_7-x_0*x_3*x_4*x_5*x_7-2*x_1*x_3*x_4*x_5*x_7-2*x_2*x_3*x_4*x_5*x_7-x_0*x_1*x_2*x_6*x_7-x_0*x_1*x_3*x_6*x_7-x_0*x_2*x_3*x_6*x_7-x_1*x_2*x_3*x_6*x_7-x_0*x_1*x_4*x_6*x_7-x_1*x_2*x_4*x_6*x_7-x_0*x_3*x_4*x_6*x_7-x_1*x_3*x_4*x_6*x_7-x_2*x_3*x_4*x_6*x_7-x_0*x_1*x_5*x_6*x_7-x_1*x_2*x_5*x_6*x_7-x_0*x_3*x_5*x_6*x_7-x_1*x_3*x_5*x_6*x_7-x_2*x_3*x_5*x_6*x_7-x_0*x_4*x_5*x_6*x_7-x_1*x_4*x_5*x_6*x_7-x_2*x_4*x_5*x_6*x_7-2*x_3*x_4*x_5*x_6*x_7-x_1*x_2*x_3*x_4*x_8-x_1*x_2*x_3*x_5*x_8-x_0*x_1*x_4*x_5*x_8-x_1*x_2*x_4*x_5*x_8-x_0*x_3*x_4*x_5*x_8-x_1*x_3*x_4*x_5*x_8-x_2*x_3*x_4*x_5*x_8-x_0*x_1*x_2*x_6*x_8-x_0*x_1*x_3*x_6*x_8-x_0*x_1*x_4*x_6*x_8-x_1*x_2*x_4*x_6*x_8-x_1*x_3*x_4*x_6*x_8-x_0*x_1*x_5*x_6*x_8-x_1*x_3*x_5*x_6*x_8-x_0*x_4*x_5*x_6*x_8-2*x_1*x_4*x_5*x_6*x_8-x_3*x_4*x_5*x_6*x_8-x_0*x_1*x_2*x_7*x_8-x_1*x_2*x_3*x_7*x_8-x_2*x_3*x_4*x_7*x_8-x_0*x_1*x_5*x_7*x_8-x_2*x_3*x_5*x_7*x_8-x_1*x_4*x_5*x_7*x_8-x_2*x_4*x_5*x_7*x_8-x_3*x_4*x_5*x_7*x_8-x_0*x_1*x_6*x_7*x_8-x_0*x_2*x_6*x_7*x_8-x_1*x_2*x_6*x_7*x_8-x_1*x_3*x_6*x_7*x_8-x_1*x_4*x_6*x_7*x_8-x_3*x_4*x_6*x_7*x_8-x_0*x_5*x_6*x_7*x_8-x_1*x_5*x_6*x_7*x_8-x_3*x_5*x_6*x_7*x_8-x_4*x_5*x_6*x_7*x_8-x_0*x_1*x_2*x_3-x_0*x_1*x_2*x_4-x_0*x_1*x_3*x_4-x_0*x_2*x_3*x_4-2*x_1*x_2*x_3*x_4-x_0*x_1*x_2*x_5-x_0*x_1*x_3*x_5-x_0*x_2*x_3*x_5-x_1*x_2*x_3*x_5-x_0*x_1*x_4*x_5-x_0*x_2*x_4*x_5-x_1*x_2*x_4*x_5-2*x_0*x_3*x_4*x_5-3*x_1*x_3*x_4*x_5-2*x_2*x_3*x_4*x_5-x_0*x_1*x_2*x_6-2*x_0*x_1*x_3*x_6-x_0*x_2*x_3*x_6-x_1*x_2*x_3*x_6-2*x_0*x_1*x_4*x_6-x_1*x_2*x_4*x_6-x_0*x_3*x_4*x_6-2*x_1*x_3*x_4*x_6-2*x_2*x_3*x_4*x_6-2*x_0*x_1*x_5*x_6-x_1*x_2*x_5*x_6-x_0*x_3*x_5*x_6-2*x_1*x_3*x_5*x_6-x_2*x_3*x_5*x_6-2*x_0*x_4*x_5*x_6-2*x_1*x_4*x_5*x_6-x_2*x_4*x_5*x_6-3*x_3*x_4*x_5*x_6-x_0*x_1*x_2*x_7-x_0*x_1*x_3*x_7-2*x_0*x_2*x_3*x_7-2*x_1*x_2*x_3*x_7-x_0*x_1*x_4*x_7-x_0*x_2*x_4*x_7-x_1*x_2*x_4*x_7-x_0*x_3*x_4*x_7-2*x_1*x_3*x_4*x_7-2*x_2*x_3*x_4*x_7-x_0*x_1*x_5*x_7-x_0*x_2*x_5*x_7-x_1*x_2*x_5*x_7-2*x_0*x_3*x_5*x_7-2*x_1*x_3*x_5*x_7-2*x_2*x_3*x_5*x_7-x_0*x_4*x_5*x_7-2*x_1*x_4*x_5*x_7-2*x_2*x_4*x_5*x_7-3*x_3*x_4*x_5*x_7-2*x_0*x_1*x_6*x_7-x_0*x_2*x_6*x_7-2*x_1*x_2*x_6*x_7-2*x_0*x_3*x_6*x_7-2*x_1*x_3*x_6*x_7-2*x_2*x_3*x_6*x_7-2*x_0*x_4*x_6*x_7-2*x_1*x_4*x_6*x_7-x_2*x_4*x_6*x_7-2*x_3*x_4*x_6*x_7-2*x_0*x_5*x_6*x_7-2*x_1*x_5*x_6*x_7-x_2*x_5*x_6*x_7-2*x_3*x_5*x_6*x_7-2*x_4*x_5*x_6*x_7-x_0*x_1*x_2*x_8-x_0*x_1*x_3*x_8-x_1*x_2*x_3*x_8-x_0*x_1*x_4*x_8-x_1*x_2*x_4*x_8-x_0*x_3*x_4*x_8-x_1*x_3*x_4*x_8-x_2*x_3*x_4*x_8-x_0*x_1*x_5*x_8-x_1*x_2*x_5*x_8-x_0*x_3*x_5*x_8-x_1*x_3*x_5*x_8-x_2*x_3*x_5*x_8-x_0*x_4*x_5*x_8-2*x_1*x_4*x_5*x_8-x_2*x_4*x_5*x_8-2*x_3*x_4*x_5*x_8-2*x_0*x_1*x_6*x_8-x_0*x_2*x_6*x_8-x_1*x_2*x_6*x_8-x_0*x_3*x_6*x_8-2*x_1*x_3*x_6*x_8-x_0*x_4*x_6*x_8-2*x_1*x_4*x_6*x_8-x_2*x_4*x_6*x_8-x_3*x_4*x_6*x_8-x_0*x_5*x_6*x_8-2*x_1*x_5*x_6*x_8-x_3*x_5*x_6*x_8-2*x_4*x_5*x_6*x_8-x_0*x_1*x_7*x_8-x_0*x_2*x_7*x_8-x_1*x_2*x_7*x_8-x_1*x_3*x_7*x_8-x_2*x_3*x_7*x_8-x_1*x_4*x_7*x_8-x_2*x_4*x_7*x_8-x_3*x_4*x_7*x_8-x_0*x_5*x_7*x_8-x_1*x_5*x_7*x_8-x_2*x_5*x_7*x_8-x_3*x_5*x_7*x_8-2*x_4*x_5*x_7*x_8-x_0*x_6*x_7*x_8-2*x_1*x_6*x_7*x_8-x_2*x_6*x_7*x_8-x_3*x_6*x_7*x_8-x_4*x_6*x_7*x_8-2*x_5*x_6*x_7*x_8-2*x_0*x_1*x_2-2*x_0*x_1*x_3-2*x_0*x_2*x_3-2*x_1*x_2*x_3-2*x_0*x_1*x_4-x_0*x_2*x_4-2*x_1*x_2*x_4-2*x_0*x_3*x_4-3*x_1*x_3*x_4-3*x_2*x_3*x_4-2*x_0*x_1*x_5-x_0*x_2*x_5-2*x_1*x_2*x_5-2*x_0*x_3*x_5-3*x_1*x_3*x_5-2*x_2*x_3*x_5-2*x_0*x_4*x_5-3*x_1*x_4*x_5-2*x_2*x_4*x_5-4*x_3*x_4*x_5-3*x_0*x_1*x_6-x_0*x_2*x_6-2*x_1*x_2*x_6-2*x_0*x_3*x_6-3*x_1*x_3*x_6-2*x_2*x_3*x_6-2*x_0*x_4*x_6-3*x_1*x_4*x_6-2*x_2*x_4*x_6-3*x_3*x_4*x_6-2*x_0*x_5*x_6-3*x_1*x_5*x_6-2*x_2*x_5*x_6-3*x_3*x_5*x_6-3*x_4*x_5*x_6-2*x_0*x_1*x_7-2*x_0*x_2*x_7-2*x_1*x_2*x_7-2*x_0*x_3*x_7-3*x_1*x_3*x_7-3*x_2*x_3*x_7-2*x_0*x_4*x_7-3*x_1*x_4*x_7-2*x_2*x_4*x_7-3*x_3*x_4*x_7-2*x_0*x_5*x_7-3*x_1*x_5*x_7-2*x_2*x_5*x_7-3*x_3*x_5*x_7-3*x_4*x_5*x_7-3*x_0*x_6*x_7-3*x_1*x_6*x_7-2*x_2*x_6*x_7-3*x_3*x_6*x_7-3*x_4*x_6*x_7-3*x_5*x_6*x_7-2*x_0*x_1*x_8-x_0*x_2*x_8-2*x_1*x_2*x_8-x_0*x_3*x_8-2*x_1*x_3*x_8-x_2*x_3*x_8-x_0*x_4*x_8-2*x_1*x_4*x_8-2*x_2*x_4*x_8-2*x_3*x_4*x_8-2*x_0*x_5*x_8-2*x_1*x_5*x_8-x_2*x_5*x_8-2*x_3*x_5*x_8-3*x_4*x_5*x_8-2*x_0*x_6*x_8-3*x_1*x_6*x_8-x_2*x_6*x_8-2*x_3*x_6*x_8-2*x_4*x_6*x_8-2*x_5*x_6*x_8-x_0*x_7*x_8-2*x_1*x_7*x_8-2*x_2*x_7*x_8-2*x_3*x_7*x_8-2*x_4*x_7*x_8-2*x_5*x_7*x_8-2*x_6*x_7*x_8-3*x_0*x_1-2*x_0*x_2-3*x_1*x_2-3*x_0*x_3-4*x_1*x_3-3*x_2*x_3-3*x_0*x_4-4*x_1*x_4-3*x_2*x_4-4*x_3*x_4-3*x_0*x_5-4*x_1*x_5-3*x_2*x_5-4*x_3*x_5-4*x_4*x_5-3*x_0*x_6-4*x_1*x_6-3*x_2*x_6-4*x_3*x_6-4*x_4*x_6-4*x_5*x_6-3*x_0*x_7-4*x_1*x_7-3*x_2*x_7-4*x_3*x_7-4*x_4*x_7-4*x_5*x_7-4*x_6*x_7-2*x_0*x_8-3*x_1*x_8-2*x_2*x_8-3*x_3*x_8-3*x_4*x_8-3*x_5*x_8-3*x_6*x_8-3*x_7*x_8-4*x_0-5*x_1-4*x_2-5*x_3-5*x_4-5*x_5-5*x_6-5*x_7-4*x_8+6*z; D8= -x_1*x_2*x_3*x_4*x_5*x_7-x_0*x_1*x_2*x_5*x_6*x_7-x_1*x_2*x_3*x_5*x_6*x_7-x_0*x_2*x_4*x_5*x_6*x_7-x_2*x_3*x_4*x_5*x_6*x_7-x_1*x_2*x_3*x_4*x_5*x_8-x_0*x_2*x_3*x_4*x_6*x_8-x_0*x_2*x_4*x_5*x_6*x_8-x_2*x_3*x_4*x_5*x_6*x_8-x_0*x_1*x_4*x_5*x_7*x_8-x_1*x_3*x_4*x_5*x_7*x_8-x_0*x_1*x_2*x_6*x_7*x_8-x_0*x_2*x_4*x_6*x_7*x_8-x_2*x_3*x_4*x_6*x_7*x_8-x_0*x_1*x_5*x_6*x_7*x_8-x_0*x_4*x_5*x_6*x_7*x_8-x_3*x_4*x_5*x_6*x_7*x_8-x_1*x_2*x_3*x_4*x_5-x_0*x_2*x_3*x_4*x_6-x_0*x_1*x_2*x_5*x_6-x_1*x_2*x_3*x_5*x_6-x_0*x_2*x_4*x_5*x_6-2*x_2*x_3*x_4*x_5*x_6-x_1*x_2*x_3*x_4*x_7-x_0*x_1*x_2*x_5*x_7-x_1*x_2*x_3*x_5*x_7-x_0*x_1*x_4*x_5*x_7-x_0*x_2*x_4*x_5*x_7-x_1*x_2*x_4*x_5*x_7-x_1*x_3*x_4*x_5*x_7-x_2*x_3*x_4*x_5*x_7-x_0*x_1*x_2*x_6*x_7-x_0*x_2*x_3*x_6*x_7-x_1*x_2*x_3*x_6*x_7-x_0*x_2*x_4*x_6*x_7-x_1*x_2*x_4*x_6*x_7-x_2*x_3*x_4*x_6*x_7-x_0*x_1*x_5*x_6*x_7-x_0*x_2*x_5*x_6*x_7-x_1*x_2*x_5*x_6*x_7-x_1*x_3*x_5*x_6*x_7-x_2*x_3*x_5*x_6*x_7-x_0*x_4*x_5*x_6*x_7-x_1*x_4*x_5*x_6*x_7-x_2*x_4*x_5*x_6*x_7-x_3*x_4*x_5*x_6*x_7-x_0*x_1*x_2*x_4*x_8-x_0*x_2*x_3*x_4*x_8-x_1*x_2*x_3*x_4*x_8-x_1*x_2*x_3*x_5*x_8-x_0*x_1*x_4*x_5*x_8-x_0*x_2*x_4*x_5*x_8-x_1*x_2*x_4*x_5*x_8-x_0*x_3*x_4*x_5*x_8-x_1*x_3*x_4*x_5*x_8-x_2*x_3*x_4*x_5*x_8-x_0*x_1*x_2*x_6*x_8-x_0*x_2*x_3*x_6*x_8-x_1*x_2*x_3*x_6*x_8-2*x_0*x_2*x_4*x_6*x_8-x_0*x_3*x_4*x_6*x_8-2*x_2*x_3*x_4*x_6*x_8-x_0*x_1*x_5*x_6*x_8-x_0*x_2*x_5*x_6*x_8-x_2*x_3*x_5*x_6*x_8-x_0*x_4*x_5*x_6*x_8-x_1*x_4*x_5*x_6*x_8-x_2*x_4*x_5*x_6*x_8-x_3*x_4*x_5*x_6*x_8-x_0*x_1*x_2*x_7*x_8-x_0*x_1*x_4*x_7*x_8-x_0*x_2*x_4*x_7*x_8-x_1*x_3*x_4*x_7*x_8-x_2*x_3*x_4*x_7*x_8-x_0*x_1*x_5*x_7*x_8-x_1*x_2*x_5*x_7*x_8-x_1*x_3*x_5*x_7*x_8-x_0*x_4*x_5*x_7*x_8-x_1*x_4*x_5*x_7*x_8-x_2*x_4*x_5*x_7*x_8-x_3*x_4*x_5*x_7*x_8-x_0*x_1*x_6*x_7*x_8-x_0*x_2*x_6*x_7*x_8-x_1*x_2*x_6*x_7*x_8-x_2*x_3*x_6*x_7*x_8-2*x_0*x_4*x_6*x_7*x_8-x_2*x_4*x_6*x_7*x_8-x_3*x_4*x_6*x_7*x_8-x_0*x_5*x_6*x_7*x_8-x_1*x_5*x_6*x_7*x_8-x_2*x_5*x_6*x_7*x_8-x_3*x_5*x_6*x_7*x_8-x_4*x_5*x_6*x_7*x_8-x_0*x_1*x_2*x_4-x_0*x_2*x_3*x_4-x_1*x_2*x_3*x_4-x_0*x_1*x_2*x_5-2*x_1*x_2*x_3*x_5-x_0*x_1*x_4*x_5-x_0*x_2*x_4*x_5-x_1*x_2*x_4*x_5-x_0*x_3*x_4*x_5-x_1*x_3*x_4*x_5-2*x_2*x_3*x_4*x_5-x_0*x_1*x_2*x_6-x_0*x_2*x_3*x_6-x_1*x_2*x_3*x_6-2*x_0*x_2*x_4*x_6-x_1*x_2*x_4*x_6-x_0*x_3*x_4*x_6-2*x_2*x_3*x_4*x_6-x_0*x_1*x_5*x_6-2*x_0*x_2*x_5*x_6-x_1*x_2*x_5*x_6-x_1*x_3*x_5*x_6-2*x_2*x_3*x_5*x_6-x_0*x_4*x_5*x_6-x_1*x_4*x_5*x_6-2*x_2*x_4*x_5*x_6-2*x_3*x_4*x_5*x_6-x_0*x_1*x_2*x_7-x_0*x_2*x_3*x_7-x_1*x_2*x_3*x_7-x_0*x_1*x_4*x_7-x_0*x_2*x_4*x_7-x_1*x_2*x_4*x_7-x_1*x_3*x_4*x_7-2*x_2*x_3*x_4*x_7-2*x_0*x_1*x_5*x_7-x_0*x_2*x_5*x_7-2*x_1*x_2*x_5*x_7-2*x_1*x_3*x_5*x_7-x_2*x_3*x_5*x_7-2*x_0*x_4*x_5*x_7-2*x_1*x_4*x_5*x_7-2*x_2*x_4*x_5*x_7-2*x_3*x_4*x_5*x_7-x_0*x_1*x_6*x_7-2*x_0*x_2*x_6*x_7-2*x_1*x_2*x_6*x_7-x_0*x_3*x_6*x_7-x_1*x_3*x_6*x_7-2*x_2*x_3*x_6*x_7-2*x_0*x_4*x_6*x_7-x_1*x_4*x_6*x_7-2*x_2*x_4*x_6*x_7-x_3*x_4*x_6*x_7-2*x_0*x_5*x_6*x_7-2*x_1*x_5*x_6*x_7-2*x_2*x_5*x_6*x_7-2*x_3*x_5*x_6*x_7-2*x_4*x_5*x_6*x_7-x_0*x_1*x_2*x_8-x_0*x_2*x_3*x_8-x_1*x_2*x_3*x_8-x_0*x_1*x_4*x_8-2*x_0*x_2*x_4*x_8-x_1*x_2*x_4*x_8-x_0*x_3*x_4*x_8-x_1*x_3*x_4*x_8-2*x_2*x_3*x_4*x_8-x_0*x_1*x_5*x_8-x_0*x_2*x_5*x_8-x_1*x_2*x_5*x_8-x_0*x_3*x_5*x_8-x_1*x_3*x_5*x_8-x_2*x_3*x_5*x_8-2*x_0*x_4*x_5*x_8-2*x_1*x_4*x_5*x_8-2*x_2*x_4*x_5*x_8-2*x_3*x_4*x_5*x_8-x_0*x_1*x_6*x_8-2*x_0*x_2*x_6*x_8-x_1*x_2*x_6*x_8-x_0*x_3*x_6*x_8-x_1*x_3*x_6*x_8-2*x_2*x_3*x_6*x_8-2*x_0*x_4*x_6*x_8-x_1*x_4*x_6*x_8-2*x_2*x_4*x_6*x_8-2*x_3*x_4*x_6*x_8-2*x_0*x_5*x_6*x_8-x_1*x_5*x_6*x_8-2*x_2*x_5*x_6*x_8-x_3*x_5*x_6*x_8-2*x_4*x_5*x_6*x_8-2*x_0*x_1*x_7*x_8-x_0*x_2*x_7*x_8-x_1*x_2*x_7*x_8-x_1*x_3*x_7*x_8-x_2*x_3*x_7*x_8-2*x_0*x_4*x_7*x_8-x_1*x_4*x_7*x_8-2*x_2*x_4*x_7*x_8-2*x_3*x_4*x_7*x_8-x_0*x_5*x_7*x_8-2*x_1*x_5*x_7*x_8-2*x_2*x_5*x_7*x_8-x_3*x_5*x_7*x_8-2*x_4*x_5*x_7*x_8-2*x_0*x_6*x_7*x_8-x_1*x_6*x_7*x_8-2*x_2*x_6*x_7*x_8-x_3*x_6*x_7*x_8-2*x_4*x_6*x_7*x_8-2*x_5*x_6*x_7*x_8-2*x_0*x_1*x_2-x_0*x_2*x_3-2*x_1*x_2*x_3-x_0*x_1*x_4-2*x_0*x_2*x_4-2*x_1*x_2*x_4-x_0*x_3*x_4-x_1*x_3*x_4-3*x_2*x_3*x_4-2*x_0*x_1*x_5-2*x_0*x_2*x_5-2*x_1*x_2*x_5-x_0*x_3*x_5-2*x_1*x_3*x_5-2*x_2*x_3*x_5-2*x_0*x_4*x_5-2*x_1*x_4*x_5-3*x_2*x_4*x_5-3*x_3*x_4*x_5-x_0*x_1*x_6-3*x_0*x_2*x_6-2*x_1*x_2*x_6-x_0*x_3*x_6-x_1*x_3*x_6-3*x_2*x_3*x_6-2*x_0*x_4*x_6-2*x_1*x_4*x_6-3*x_2*x_4*x_6-2*x_3*x_4*x_6-2*x_0*x_5*x_6-2*x_1*x_5*x_6-3*x_2*x_5*x_6-2*x_3*x_5*x_6-3*x_4*x_5*x_6-2*x_0*x_1*x_7-2*x_0*x_2*x_7-2*x_1*x_2*x_7-x_0*x_3*x_7-2*x_1*x_3*x_7-2*x_2*x_3*x_7-2*x_0*x_4*x_7-2*x_1*x_4*x_7-3*x_2*x_4*x_7-2*x_3*x_4*x_7-2*x_0*x_5*x_7-3*x_1*x_5*x_7-3*x_2*x_5*x_7-2*x_3*x_5*x_7-3*x_4*x_5*x_7-3*x_0*x_6*x_7-2*x_1*x_6*x_7-3*x_2*x_6*x_7-2*x_3*x_6*x_7-3*x_4*x_6*x_7-3*x_5*x_6*x_7-2*x_0*x_1*x_8-2*x_0*x_2*x_8-2*x_1*x_2*x_8-x_0*x_3*x_8-2*x_1*x_3*x_8-2*x_2*x_3*x_8-3*x_0*x_4*x_8-2*x_1*x_4*x_8-3*x_2*x_4*x_8-3*x_3*x_4*x_8-2*x_0*x_5*x_8-2*x_1*x_5*x_8-3*x_2*x_5*x_8-2*x_3*x_5*x_8-3*x_4*x_5*x_8-3*x_0*x_6*x_8-2*x_1*x_6*x_8-3*x_2*x_6*x_8-2*x_3*x_6*x_8-3*x_4*x_6*x_8-3*x_5*x_6*x_8-2*x_0*x_7*x_8-2*x_1*x_7*x_8-3*x_2*x_7*x_8-2*x_3*x_7*x_8-3*x_4*x_7*x_8-3*x_5*x_7*x_8-3*x_6*x_7*x_8-2*x_0*x_1-3*x_0*x_2-3*x_1*x_2-2*x_0*x_3-2*x_1*x_3-3*x_2*x_3-3*x_0*x_4-3*x_1*x_4-4*x_2*x_4-3*x_3*x_4-3*x_0*x_5-3*x_1*x_5-4*x_2*x_5-3*x_3*x_5-4*x_4*x_5-3*x_0*x_6-3*x_1*x_6-4*x_2*x_6-3*x_3*x_6-4*x_4*x_6-4*x_5*x_6-3*x_0*x_7-3*x_1*x_7-4*x_2*x_7-3*x_3*x_7-4*x_4*x_7-4*x_5*x_7-4*x_6*x_7-3*x_0*x_8-3*x_1*x_8-4*x_2*x_8-3*x_3*x_8-4*x_4*x_8-4*x_5*x_8-4*x_6*x_8-4*x_7*x_8-4*x_0-4*x_1-5*x_2-4*x_3-5*x_4-5*x_5-5*x_6-5*x_7-5*x_8+6*z; D9= -x_0*x_1*x_2*x_3*x_4*x_5-x_0*x_1*x_2*x_4*x_5*x_7-x_1*x_2*x_3*x_4*x_5*x_7-x_0*x_1*x_2*x_4*x_6*x_7-x_1*x_2*x_3*x_4*x_6*x_7-x_0*x_1*x_4*x_5*x_6*x_7-x_1*x_2*x_4*x_5*x_6*x_7-x_1*x_3*x_4*x_5*x_6*x_7-x_0*x_2*x_3*x_5*x_6*x_8-x_1*x_2*x_4*x_5*x_7*x_8-x_0*x_1*x_2*x_6*x_7*x_8-x_1*x_2*x_4*x_6*x_7*x_8-x_1*x_4*x_5*x_6*x_7*x_8-x_3*x_4*x_5*x_6*x_7*x_8-x_0*x_1*x_2*x_3*x_4-x_0*x_1*x_2*x_3*x_5-x_0*x_1*x_2*x_4*x_5-x_0*x_1*x_3*x_4*x_5-x_0*x_2*x_3*x_4*x_5-x_1*x_2*x_3*x_4*x_5-x_0*x_1*x_2*x_3*x_6-x_0*x_1*x_2*x_4*x_6-x_1*x_2*x_3*x_4*x_6-x_0*x_1*x_2*x_5*x_6-x_0*x_2*x_3*x_5*x_6-x_0*x_1*x_4*x_5*x_6-x_1*x_2*x_4*x_5*x_6-x_0*x_3*x_4*x_5*x_6-x_1*x_3*x_4*x_5*x_6-x_2*x_3*x_4*x_5*x_6-2*x_0*x_1*x_2*x_4*x_7-x_1*x_2*x_3*x_4*x_7-x_0*x_1*x_2*x_5*x_7-x_0*x_2*x_3*x_5*x_7-x_1*x_2*x_3*x_5*x_7-x_0*x_1*x_4*x_5*x_7-x_0*x_2*x_4*x_5*x_7-2*x_1*x_2*x_4*x_5*x_7-2*x_1*x_3*x_4*x_5*x_7-x_2*x_3*x_4*x_5*x_7-x_0*x_1*x_2*x_6*x_7-x_1*x_2*x_3*x_6*x_7-x_0*x_1*x_4*x_6*x_7-x_0*x_2*x_4*x_6*x_7-2*x_1*x_2*x_4*x_6*x_7-x_1*x_3*x_4*x_6*x_7-x_2*x_3*x_4*x_6*x_7-x_0*x_1*x_5*x_6*x_7-x_1*x_2*x_5*x_6*x_7-x_1*x_3*x_5*x_6*x_7-x_0*x_4*x_5*x_6*x_7-2*x_1*x_4*x_5*x_6*x_7-x_2*x_4*x_5*x_6*x_7-x_3*x_4*x_5*x_6*x_7-x_0*x_1*x_2*x_5*x_8-x_0*x_2*x_3*x_5*x_8-x_1*x_2*x_4*x_5*x_8-x_2*x_3*x_4*x_5*x_8-x_0*x_1*x_2*x_6*x_8-x_0*x_2*x_3*x_6*x_8-x_0*x_2*x_4*x_6*x_8-x_1*x_2*x_4*x_6*x_8-x_0*x_2*x_5*x_6*x_8-x_0*x_3*x_5*x_6*x_8-x_1*x_3*x_5*x_6*x_8-x_2*x_3*x_5*x_6*x_8-x_1*x_4*x_5*x_6*x_8-x_3*x_4*x_5*x_6*x_8-x_0*x_1*x_2*x_7*x_8-x_1*x_2*x_4*x_7*x_8-x_1*x_2*x_5*x_7*x_8-x_1*x_4*x_5*x_7*x_8-x_2*x_4*x_5*x_7*x_8-x_3*x_4*x_5*x_7*x_8-x_0*x_1*x_6*x_7*x_8-x_0*x_2*x_6*x_7*x_8-x_1*x_2*x_6*x_7*x_8-x_2*x_3*x_6*x_7*x_8-2*x_1*x_4*x_6*x_7*x_8-x_2*x_4*x_6*x_7*x_8-x_3*x_4*x_6*x_7*x_8-x_0*x_5*x_6*x_7*x_8-x_1*x_5*x_6*x_7*x_8-x_2*x_5*x_6*x_7*x_8-x_3*x_5*x_6*x_7*x_8-x_4*x_5*x_6*x_7*x_8-x_0*x_1*x_2*x_3-2*x_0*x_1*x_2*x_4-x_0*x_1*x_3*x_4-x_0*x_2*x_3*x_4-2*x_1*x_2*x_3*x_4-2*x_0*x_1*x_2*x_5-x_0*x_1*x_3*x_5-2*x_0*x_2*x_3*x_5-x_1*x_2*x_3*x_5-2*x_0*x_1*x_4*x_5-x_0*x_2*x_4*x_5-2*x_1*x_2*x_4*x_5-x_0*x_3*x_4*x_5-2*x_1*x_3*x_4*x_5-2*x_2*x_3*x_4*x_5-2*x_0*x_1*x_2*x_6-x_0*x_1*x_3*x_6-x_0*x_2*x_3*x_6-x_1*x_2*x_3*x_6-x_0*x_1*x_4*x_6-x_0*x_2*x_4*x_6-2*x_1*x_2*x_4*x_6-x_0*x_3*x_4*x_6-x_1*x_3*x_4*x_6-x_2*x_3*x_4*x_6-x_0*x_1*x_5*x_6-x_0*x_2*x_5*x_6-2*x_1*x_2*x_5*x_6-x_0*x_3*x_5*x_6-x_1*x_3*x_5*x_6-x_2*x_3*x_5*x_6-x_0*x_4*x_5*x_6-2*x_1*x_4*x_5*x_6-2*x_2*x_4*x_5*x_6-2*x_3*x_4*x_5*x_6-2*x_0*x_1*x_2*x_7-x_0*x_2*x_3*x_7-x_1*x_2*x_3*x_7-2*x_0*x_1*x_4*x_7-2*x_0*x_2*x_4*x_7-3*x_1*x_2*x_4*x_7-2*x_1*x_3*x_4*x_7-x_2*x_3*x_4*x_7-x_0*x_1*x_5*x_7-x_0*x_2*x_5*x_7-2*x_1*x_2*x_5*x_7-x_0*x_3*x_5*x_7-2*x_1*x_3*x_5*x_7-x_2*x_3*x_5*x_7-x_0*x_4*x_5*x_7-3*x_1*x_4*x_5*x_7-2*x_2*x_4*x_5*x_7-2*x_3*x_4*x_5*x_7-2*x_0*x_1*x_6*x_7-x_0*x_2*x_6*x_7-2*x_1*x_2*x_6*x_7-x_0*x_3*x_6*x_7-x_1*x_3*x_6*x_7-x_2*x_3*x_6*x_7-x_0*x_4*x_6*x_7-3*x_1*x_4*x_6*x_7-2*x_2*x_4*x_6*x_7-2*x_3*x_4*x_6*x_7-x_0*x_5*x_6*x_7-2*x_1*x_5*x_6*x_7-2*x_2*x_5*x_6*x_7-x_3*x_5*x_6*x_7-2*x_4*x_5*x_6*x_7-x_0*x_1*x_2*x_8-x_0*x_2*x_3*x_8-x_1*x_2*x_3*x_8-x_0*x_2*x_4*x_8-x_1*x_2*x_4*x_8-x_2*x_3*x_4*x_8-x_0*x_1*x_5*x_8-x_0*x_2*x_5*x_8-x_1*x_2*x_5*x_8-x_0*x_3*x_5*x_8-x_1*x_3*x_5*x_8-x_2*x_3*x_5*x_8-x_0*x_4*x_5*x_8-x_1*x_4*x_5*x_8-x_2*x_4*x_5*x_8-x_3*x_4*x_5*x_8-x_0*x_1*x_6*x_8-2*x_0*x_2*x_6*x_8-x_1*x_2*x_6*x_8-x_0*x_3*x_6*x_8-x_1*x_3*x_6*x_8-x_2*x_3*x_6*x_8-x_0*x_4*x_6*x_8-2*x_1*x_4*x_6*x_8-x_2*x_4*x_6*x_8-x_3*x_4*x_6*x_8-x_0*x_5*x_6*x_8-x_1*x_5*x_6*x_8-x_2*x_5*x_6*x_8-2*x_3*x_5*x_6*x_8-x_4*x_5*x_6*x_8-x_0*x_1*x_7*x_8-x_0*x_2*x_7*x_8-2*x_1*x_2*x_7*x_8-x_2*x_3*x_7*x_8-2*x_1*x_4*x_7*x_8-x_2*x_4*x_7*x_8-x_3*x_4*x_7*x_8-x_0*x_5*x_7*x_8-x_1*x_5*x_7*x_8-x_2*x_5*x_7*x_8-x_3*x_5*x_7*x_8-2*x_4*x_5*x_7*x_8-x_0*x_6*x_7*x_8-2*x_1*x_6*x_7*x_8-2*x_2*x_6*x_7*x_8-x_3*x_6*x_7*x_8-2*x_4*x_6*x_7*x_8-2*x_5*x_6*x_7*x_8-3*x_0*x_1*x_2-x_0*x_1*x_3-2*x_0*x_2*x_3-2*x_1*x_2*x_3-2*x_0*x_1*x_4-2*x_0*x_2*x_4-3*x_1*x_2*x_4-x_0*x_3*x_4-2*x_1*x_3*x_4-2*x_2*x_3*x_4-2*x_0*x_1*x_5-2*x_0*x_2*x_5-3*x_1*x_2*x_5-2*x_0*x_3*x_5-2*x_1*x_3*x_5-2*x_2*x_3*x_5-2*x_0*x_4*x_5-3*x_1*x_4*x_5-3*x_2*x_4*x_5-3*x_3*x_4*x_5-2*x_0*x_1*x_6-2*x_0*x_2*x_6-3*x_1*x_2*x_6-2*x_0*x_3*x_6-2*x_1*x_3*x_6-2*x_2*x_3*x_6-2*x_0*x_4*x_6-3*x_1*x_4*x_6-3*x_2*x_4*x_6-2*x_3*x_4*x_6-2*x_0*x_5*x_6-3*x_1*x_5*x_6-3*x_2*x_5*x_6-2*x_3*x_5*x_6-3*x_4*x_5*x_6-2*x_0*x_1*x_7-2*x_0*x_2*x_7-3*x_1*x_2*x_7-x_0*x_3*x_7-2*x_1*x_3*x_7-2*x_2*x_3*x_7-2*x_0*x_4*x_7-4*x_1*x_4*x_7-3*x_2*x_4*x_7-2*x_3*x_4*x_7-2*x_0*x_5*x_7-3*x_1*x_5*x_7-3*x_2*x_5*x_7-2*x_3*x_5*x_7-3*x_4*x_5*x_7-2*x_0*x_6*x_7-3*x_1*x_6*x_7-3*x_2*x_6*x_7-2*x_3*x_6*x_7-3*x_4*x_6*x_7-3*x_5*x_6*x_7-x_0*x_1*x_8-2*x_0*x_2*x_8-2*x_1*x_2*x_8-x_0*x_3*x_8-x_1*x_3*x_8-2*x_2*x_3*x_8-x_0*x_4*x_8-2*x_1*x_4*x_8-2*x_2*x_4*x_8-x_3*x_4*x_8-2*x_0*x_5*x_8-2*x_1*x_5*x_8-2*x_2*x_5*x_8-2*x_3*x_5*x_8-2*x_4*x_5*x_8-2*x_0*x_6*x_8-2*x_1*x_6*x_8-2*x_2*x_6*x_8-2*x_3*x_6*x_8-2*x_4*x_6*x_8-2*x_5*x_6*x_8-x_0*x_7*x_8-2*x_1*x_7*x_8-2*x_2*x_7*x_8-x_3*x_7*x_8-2*x_4*x_7*x_8-2*x_5*x_7*x_8-3*x_6*x_7*x_8-3*x_0*x_1-3*x_0*x_2-4*x_1*x_2-2*x_0*x_3-3*x_1*x_3-3*x_2*x_3-3*x_0*x_4-4*x_1*x_4-4*x_2*x_4-3*x_3*x_4-3*x_0*x_5-4*x_1*x_5-4*x_2*x_5-3*x_3*x_5-4*x_4*x_5-3*x_0*x_6-4*x_1*x_6-4*x_2*x_6-3*x_3*x_6-4*x_4*x_6-4*x_5*x_6-3*x_0*x_7-4*x_1*x_7-4*x_2*x_7-3*x_3*x_7-4*x_4*x_7-4*x_5*x_7-4*x_6*x_7-2*x_0*x_8-3*x_1*x_8-3*x_2*x_8-2*x_3*x_8-3*x_4*x_8-3*x_5*x_8-3*x_6*x_8-3*x_7*x_8-4*x_0-5*x_1-5*x_2-4*x_3-5*x_4-5*x_5-5*x_6-5*x_7-4*x_8+6*z; D10= -x_0*x_2*x_3*x_4*x_5*x_6-x_0*x_1*x_2*x_5*x_6*x_7-x_0*x_1*x_3*x_5*x_6*x_7-x_0*x_2*x_3*x_5*x_6*x_7-x_0*x_2*x_4*x_5*x_6*x_7-x_0*x_3*x_4*x_5*x_6*x_7-x_0*x_2*x_3*x_4*x_5*x_8-x_1*x_2*x_3*x_4*x_5*x_8-x_0*x_2*x_3*x_4*x_6*x_8-x_2*x_3*x_4*x_5*x_6*x_8-x_0*x_2*x_3*x_5*x_7*x_8-x_2*x_3*x_4*x_5*x_7*x_8-x_0*x_1*x_2*x_6*x_7*x_8-x_0*x_1*x_3*x_6*x_7*x_8-x_0*x_2*x_3*x_6*x_7*x_8-x_0*x_2*x_4*x_6*x_7*x_8-x_0*x_3*x_4*x_6*x_7*x_8-x_0*x_2*x_5*x_6*x_7*x_8-x_0*x_3*x_5*x_6*x_7*x_8-x_2*x_4*x_5*x_6*x_7*x_8-x_3*x_4*x_5*x_6*x_7*x_8-x_0*x_1*x_2*x_3*x_5-x_0*x_2*x_3*x_4*x_5-x_1*x_2*x_3*x_4*x_5-x_0*x_2*x_3*x_4*x_6-x_0*x_1*x_2*x_5*x_6-x_0*x_1*x_3*x_5*x_6-x_0*x_2*x_3*x_5*x_6-x_0*x_2*x_4*x_5*x_6-x_0*x_3*x_4*x_5*x_6-x_2*x_3*x_4*x_5*x_6-x_0*x_1*x_2*x_5*x_7-x_0*x_1*x_3*x_5*x_7-x_0*x_2*x_3*x_5*x_7-x_0*x_2*x_4*x_5*x_7-x_0*x_3*x_4*x_5*x_7-x_2*x_3*x_4*x_5*x_7-x_0*x_1*x_2*x_6*x_7-x_0*x_1*x_3*x_6*x_7-2*x_0*x_2*x_3*x_6*x_7-x_0*x_2*x_4*x_6*x_7-x_0*x_3*x_4*x_6*x_7-x_0*x_1*x_5*x_6*x_7-2*x_0*x_2*x_5*x_6*x_7-x_1*x_2*x_5*x_6*x_7-2*x_0*x_3*x_5*x_6*x_7-x_1*x_3*x_5*x_6*x_7-x_2*x_3*x_5*x_6*x_7-x_0*x_4*x_5*x_6*x_7-x_2*x_4*x_5*x_6*x_7-x_3*x_4*x_5*x_6*x_7-x_0*x_1*x_2*x_3*x_8-x_0*x_2*x_3*x_4*x_8-x_1*x_2*x_3*x_4*x_8-x_0*x_2*x_3*x_5*x_8-x_1*x_2*x_3*x_5*x_8-x_0*x_2*x_4*x_5*x_8-x_1*x_2*x_4*x_5*x_8-x_0*x_3*x_4*x_5*x_8-x_1*x_3*x_4*x_5*x_8-2*x_2*x_3*x_4*x_5*x_8-x_0*x_1*x_2*x_6*x_8-x_0*x_1*x_3*x_6*x_8-x_0*x_2*x_3*x_6*x_8-x_0*x_2*x_4*x_6*x_8-x_0*x_3*x_4*x_6*x_8-x_2*x_3*x_4*x_6*x_8-x_0*x_2*x_5*x_6*x_8-x_0*x_3*x_5*x_6*x_8-x_2*x_3*x_5*x_6*x_8-x_2*x_4*x_5*x_6*x_8-x_3*x_4*x_5*x_6*x_8-x_0*x_1*x_2*x_7*x_8-x_0*x_1*x_3*x_7*x_8-x_0*x_2*x_3*x_7*x_8-x_0*x_2*x_4*x_7*x_8-x_0*x_3*x_4*x_7*x_8-x_2*x_3*x_4*x_7*x_8-x_0*x_2*x_5*x_7*x_8-x_1*x_2*x_5*x_7*x_8-x_0*x_3*x_5*x_7*x_8-x_1*x_3*x_5*x_7*x_8-x_2*x_3*x_5*x_7*x_8-x_2*x_4*x_5*x_7*x_8-x_3*x_4*x_5*x_7*x_8-x_0*x_1*x_6*x_7*x_8-2*x_0*x_2*x_6*x_7*x_8-x_1*x_2*x_6*x_7*x_8-2*x_0*x_3*x_6*x_7*x_8-x_1*x_3*x_6*x_7*x_8-x_2*x_3*x_6*x_7*x_8-x_0*x_4*x_6*x_7*x_8-x_2*x_4*x_6*x_7*x_8-x_3*x_4*x_6*x_7*x_8-2*x_0*x_5*x_6*x_7*x_8-x_2*x_5*x_6*x_7*x_8-x_3*x_5*x_6*x_7*x_8-x_4*x_5*x_6*x_7*x_8-x_0*x_1*x_2*x_3-x_0*x_2*x_3*x_4-x_1*x_2*x_3*x_4-x_0*x_1*x_2*x_5-x_0*x_1*x_3*x_5-2*x_0*x_2*x_3*x_5-x_1*x_2*x_3*x_5-2*x_0*x_2*x_4*x_5-x_1*x_2*x_4*x_5-2*x_0*x_3*x_4*x_5-x_1*x_3*x_4*x_5-2*x_2*x_3*x_4*x_5-x_0*x_1*x_2*x_6-x_0*x_1*x_3*x_6-2*x_0*x_2*x_3*x_6-2*x_0*x_2*x_4*x_6-2*x_0*x_3*x_4*x_6-x_2*x_3*x_4*x_6-x_0*x_1*x_5*x_6-2*x_0*x_2*x_5*x_6-x_1*x_2*x_5*x_6-2*x_0*x_3*x_5*x_6-x_1*x_3*x_5*x_6-2*x_2*x_3*x_5*x_6-x_0*x_4*x_5*x_6-2*x_2*x_4*x_5*x_6-2*x_3*x_4*x_5*x_6-x_0*x_1*x_2*x_7-x_0*x_1*x_3*x_7-2*x_0*x_2*x_3*x_7-x_0*x_2*x_4*x_7-x_0*x_3*x_4*x_7-x_2*x_3*x_4*x_7-x_0*x_1*x_5*x_7-2*x_0*x_2*x_5*x_7-x_1*x_2*x_5*x_7-2*x_0*x_3*x_5*x_7-x_1*x_3*x_5*x_7-2*x_2*x_3*x_5*x_7-x_0*x_4*x_5*x_7-2*x_2*x_4*x_5*x_7-2*x_3*x_4*x_5*x_7-2*x_0*x_1*x_6*x_7-3*x_0*x_2*x_6*x_7-x_1*x_2*x_6*x_7-3*x_0*x_3*x_6*x_7-x_1*x_3*x_6*x_7-2*x_2*x_3*x_6*x_7-2*x_0*x_4*x_6*x_7-x_2*x_4*x_6*x_7-x_3*x_4*x_6*x_7-3*x_0*x_5*x_6*x_7-x_1*x_5*x_6*x_7-2*x_2*x_5*x_6*x_7-2*x_3*x_5*x_6*x_7-2*x_4*x_5*x_6*x_7-x_0*x_1*x_2*x_8-x_0*x_1*x_3*x_8-2*x_0*x_2*x_3*x_8-x_1*x_2*x_3*x_8-2*x_0*x_2*x_4*x_8-x_1*x_2*x_4*x_8-2*x_0*x_3*x_4*x_8-x_1*x_3*x_4*x_8-2*x_2*x_3*x_4*x_8-2*x_0*x_2*x_5*x_8-x_1*x_2*x_5*x_8-2*x_0*x_3*x_5*x_8-x_1*x_3*x_5*x_8-2*x_2*x_3*x_5*x_8-x_0*x_4*x_5*x_8-x_1*x_4*x_5*x_8-2*x_2*x_4*x_5*x_8-2*x_3*x_4*x_5*x_8-x_0*x_1*x_6*x_8-2*x_0*x_2*x_6*x_8-x_1*x_2*x_6*x_8-2*x_0*x_3*x_6*x_8-x_1*x_3*x_6*x_8-2*x_2*x_3*x_6*x_8-x_0*x_4*x_6*x_8-2*x_2*x_4*x_6*x_8-2*x_3*x_4*x_6*x_8-2*x_0*x_5*x_6*x_8-2*x_2*x_5*x_6*x_8-2*x_3*x_5*x_6*x_8-x_4*x_5*x_6*x_8-x_0*x_1*x_7*x_8-2*x_0*x_2*x_7*x_8-x_1*x_2*x_7*x_8-2*x_0*x_3*x_7*x_8-x_1*x_3*x_7*x_8-2*x_2*x_3*x_7*x_8-x_0*x_4*x_7*x_8-2*x_2*x_4*x_7*x_8-2*x_3*x_4*x_7*x_8-2*x_0*x_5*x_7*x_8-x_1*x_5*x_7*x_8-2*x_2*x_5*x_7*x_8-2*x_3*x_5*x_7*x_8-x_4*x_5*x_7*x_8-3*x_0*x_6*x_7*x_8-x_1*x_6*x_7*x_8-2*x_2*x_6*x_7*x_8-2*x_3*x_6*x_7*x_8-2*x_4*x_6*x_7*x_8-2*x_5*x_6*x_7*x_8-2*x_0*x_1*x_2-2*x_0*x_1*x_3-3*x_0*x_2*x_3-x_1*x_2*x_3-2*x_0*x_2*x_4-x_1*x_2*x_4-2*x_0*x_3*x_4-x_1*x_3*x_4-2*x_2*x_3*x_4-x_0*x_1*x_5-3*x_0*x_2*x_5-2*x_1*x_2*x_5-3*x_0*x_3*x_5-2*x_1*x_3*x_5-3*x_2*x_3*x_5-2*x_0*x_4*x_5-x_1*x_4*x_5-3*x_2*x_4*x_5-3*x_3*x_4*x_5-2*x_0*x_1*x_6-3*x_0*x_2*x_6-x_1*x_2*x_6-3*x_0*x_3*x_6-x_1*x_3*x_6-3*x_2*x_3*x_6-2*x_0*x_4*x_6-x_1*x_4*x_6-2*x_2*x_4*x_6-2*x_3*x_4*x_6-3*x_0*x_5*x_6-x_1*x_5*x_6-3*x_2*x_5*x_6-3*x_3*x_5*x_6-2*x_4*x_5*x_6-2*x_0*x_1*x_7-3*x_0*x_2*x_7-x_1*x_2*x_7-3*x_0*x_3*x_7-x_1*x_3*x_7-3*x_2*x_3*x_7-2*x_0*x_4*x_7-2*x_2*x_4*x_7-2*x_3*x_4*x_7-3*x_0*x_5*x_7-2*x_1*x_5*x_7-3*x_2*x_5*x_7-3*x_3*x_5*x_7-2*x_4*x_5*x_7-4*x_0*x_6*x_7-2*x_1*x_6*x_7-3*x_2*x_6*x_7-3*x_3*x_6*x_7-2*x_4*x_6*x_7-3*x_5*x_6*x_7-x_0*x_1*x_8-3*x_0*x_2*x_8-2*x_1*x_2*x_8-3*x_0*x_3*x_8-2*x_1*x_3*x_8-3*x_2*x_3*x_8-2*x_0*x_4*x_8-x_1*x_4*x_8-3*x_2*x_4*x_8-3*x_3*x_4*x_8-3*x_0*x_5*x_8-x_1*x_5*x_8-3*x_2*x_5*x_8-3*x_3*x_5*x_8-2*x_4*x_5*x_8-3*x_0*x_6*x_8-x_1*x_6*x_8-3*x_2*x_6*x_8-3*x_3*x_6*x_8-2*x_4*x_6*x_8-3*x_5*x_6*x_8-3*x_0*x_7*x_8-2*x_1*x_7*x_8-3*x_2*x_7*x_8-3*x_3*x_7*x_8-2*x_4*x_7*x_8-3*x_5*x_7*x_8-3*x_6*x_7*x_8-2*x_0*x_1-4*x_0*x_2-2*x_1*x_2-4*x_0*x_3-2*x_1*x_3-4*x_2*x_3-3*x_0*x_4-x_1*x_4-3*x_2*x_4-3*x_3*x_4-4*x_0*x_5-2*x_1*x_5-4*x_2*x_5-4*x_3*x_5-3*x_4*x_5-4*x_0*x_6-2*x_1*x_6-4*x_2*x_6-4*x_3*x_6-3*x_4*x_6-4*x_5*x_6-4*x_0*x_7-2*x_1*x_7-4*x_2*x_7-4*x_3*x_7-3*x_4*x_7-4*x_5*x_7-4*x_6*x_7-4*x_0*x_8-2*x_1*x_8-4*x_2*x_8-4*x_3*x_8-3*x_4*x_8-4*x_5*x_8-4*x_6*x_8-4*x_7*x_8-5*x_0-3*x_1-5*x_2-5*x_3-4*x_4-5*x_5-5*x_6-5*x_7-5*x_8+6*z;