vars = [x0,x1,x2,x3,x4,x5,x6,x7,x8];
sys = [x0+x1+x2+x3+x4+x5+x6+x7+x8,
x0*x1+x0*x8+x1*x2+x2*x3+x3*x4+x4*x5+x5*x6+x6*x7+x7*x8,
x0*x1*x2+x0*x1*x8+x0*x7*x8+x1*x2*x3+x2*x3*x4+x3*x4*x5+x4*x5*x6+x5*x6*x7+x6*x7*x8,
x0*x1*x2*x3+x0*x1*x2*x8+x0*x1*x7*x8+x0*x6*x7*x8+x1*x2*x3*x4+x2*x3*x4*x5+x3*x4*x5*x6+x4*x5*x6*x7+x5*x6*x7*x8,
x0*x1*x2*x3*x4+x0*x1*x2*x3*x8+x0*x1*x2*x7*x8+x0*x1*x6*x7*x8+x0*x5*x6*x7*x8+x1*x2*x3*x4*x5+x2*x3*x4*x5*x6+x3*x4*x5*x6*x7+x4*x5*x6*x7*x8,
x0*x1*x2*x3*x4*x5+x0*x1*x2*x3*x4*x8+x0*x1*x2*x3*x7*x8+x0*x1*x2*x6*x7*x8+x0*x1*x5*x6*x7*x8+x0*x4*x5*x6*x7*x8+x1*x2*x3*x4*x5*x6+x2*x3*x4*x5*x6*x7+x3*x4*x5*x6*x7*x8,
x0*x1*x2*x3*x4*x5*x6+x0*x1*x2*x3*x4*x5*x8+x0*x1*x2*x3*x4*x7*x8+x0*x1*x2*x3*x6*x7*x8+x0*x1*x2*x5*x6*x7*x8+x0*x1*x4*x5*x6*x7*x8+x0*x3*x4*x5*x6*x7*x8+x1*x2*x3*x4*x5*x6*x7+x2*x3*x4*x5*x6*x7*x8,
x0*x1*x2*x3*x4*x5*x6*x7+x0*x1*x2*x3*x4*x5*x6*x8+x0*x1*x2*x3*x4*x5*x7*x8+x0*x1*x2*x3*x4*x6*x7*x8+x0*x1*x2*x3*x5*x6*x7*x8+x0*x1*x2*x4*x5*x6*x7*x8+x0*x1*x3*x4*x5*x6*x7*x8+x0*x2*x3*x4*x5*x6*x7*x8+x1*x2*x3*x4*x5*x6*x7*x8,
x0*x1*x2*x3*x4*x5*x6*x7*x8-1];
info(4); T = time(); G = groebnerbasis(sys,vars,2^61-1); T = time()-T;
print(T);
quit;
