
(off gc)
(noncommify)
(setweights 1 1 1 1)
(modulebettinumbers)
12
1
vars  z,x,y,a;x*y,y*x-z*z;
a*x,a*y,a*z;

(off gc)
(noncommify)
(setweights 1 1 1 1)
(modulebettinumbers)
12
1
vars  x,y,z,a;x*y,y*x-z*z;
a*x,a*y,a*z;
