R=ZZ[x_0..x_5,z];
D0= -x_0*x_1*x_2-x_1*x_2*x_3-x_0*x_1*x_4-x_1*x_3*x_4-x_0*x_2*x_5-x_2*x_3*x_5-x_0*x_4*x_5-x_3*x_4*x_5-x_0*x_1-x_0*x_2-x_1*x_2-x_0*x_3-x_1*x_3-x_2*x_3-x_0*x_4-x_1*x_4-x_2*x_4-x_3*x_4-x_0*x_5-x_1*x_5-x_2*x_5-x_3*x_5-x_4*x_5-2*x_0-2*x_1-2*x_2-2*x_3-2*x_4-2*x_5+3*z;