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