//Execute this with:
//Singular --ticks-per-sec=100<62.sing
//
//ring R= 0, (a,b,c,d,e,f,g,h,x,y,z,w), dp;
//
timer=1;
//
ring R= 0, (a,b,c,d,e,f,g,h,x,y,z,w), dp;
ideal I=
1-21*a+70*c+84*g-35*x+6*z-6*b-20*f+15*d+15*h-6*y+w-105*e+w*x+15*w*a-20*w*c+15*w
*e-6*w*g+84*b*x-105*b*c+210*b*e-189*b*g-105*d*x+105*d*a-175*d*e+210*d*g+70*f*x-\
210*f*a+175*f*c-105*f*g-21*h*x+189*h*a-210*h*c+105*h*e-z*y-15*z*b+20*z*d-15*z*f
+6*z*h-84*a*y+105*c*y-70*e*y+21*g*y   ,
-21504*a+35840*c+10752*g-2240*x+192*z-12288*b-10240*f+15360*d+3840*h-768*y+64*w
-26880*e+w*x+240*w*a-160*w*c+60*w*e-12*w*g+2688*b*x-26880*b*c+26880*b*e-12096*b
*g-1680*d*x+26880*d*a-11200*d*e+6720*d*g+560*f*x-26880*f*a+11200*f*c-1680*f*g-\
84*h*x+12096*h*a-6720*h*c+1680*h*e-z*y-240*z*b+160*z*d-60*z*f+12*z*h-2688*a*y+
1680*c*y-560*e*y+84*g*y+4096   ,
-1240029*a+1377810*c+183708*g-25515*x+1458*z-1062882*b-393660*f+885735*d+98415*
h-13122*y+729*w-688905*e+w*x+1215*w*a-540*w*c+135*w*e-18*w*g+20412*b*x-688905*b
*c+459270*b*e-137781*b*g-8505*d*x+688905*d*a-127575*d*e+51030*d*g+1890*f*x-\
459270*f*a+127575*f*c-8505*f*g-189*h*x+137781*h*a-51030*h*c+8505*h*e-z*y-1215*z
*b+540*z*d-135*z*f+18*z*h-20412*a*y+8505*c*y-1890*e*y+189*g*y+531441   ,
-22020096*a+18350080*c+1376256*g-143360*x+6144*z-25165824*b-5242880*f+15728640*
d+983040*h-98304*y+4096*w-6881280*e+16777216+w*x+3840*w*a-1280*w*c+240*w*e-24*w
*g+86016*b*x-6881280*b*c+3440640*b*e-774144*b*g-26880*d*x+6881280*d*a-716800*d*
e+215040*d*g+4480*f*x-3440640*f*a+716800*f*c-26880*f*g-336*h*x+774144*h*a-\
215040*h*c+26880*h*e-z*y-3840*z*b+1280*z*d-240*z*f+24*z*h-86016*a*y+26880*c*y-\
4480*e*y+336*g*y   ,
-205078125*a+136718750*c+6562500*g-546875*x+18750*z-292968750*b-39062500*f+
146484375*d+5859375*h-468750*y+15625*w-41015625*e+244140625+w*x+9375*w*a-2500*w
*c+375*w*e-30*w*g+262500*b*x-41015625*b*c+16406250*b*e-2953125*b*g-65625*d*x+
41015625*d*a-2734375*d*e+656250*d*g+8750*f*x-16406250*f*a+2734375*f*c-65625*f*g
-525*h*x+2953125*h*a-656250*h*c+65625*h*e-z*y-9375*z*b+2500*z*d-375*z*f+30*z*h-\
262500*a*y+65625*c*y-8750*e*y+525*g*y   ,
-1269789696*a+705438720*c+23514624*g-1632960*x+46656*z-2176782336*b-201553920*f
+906992640*d+25194240*h-1679616*y+46656*w-176359680*e+w*x+19440*w*a-4320*w*c+
540*w*e-36*w*g+653184*b*x-176359680*b*c+58786560*b*e-8817984*b*g-136080*d*x+
176359680*d*a-8164800*d*e+1632960*d*g+15120*f*x-58786560*f*a+8164800*f*c-136080
*f*g-756*h*x+8817984*h*a-1632960*h*c+136080*h*e-z*y-19440*z*b+4320*z*d-540*z*f+
36*z*h-653184*a*y+136080*c*y-15120*e*y+756*g*y+2176782336   ,
-5931980229*a+2824752490*c+69177612*g-4117715*x+100842*z-11863960458*b-\
807072140*f+4237128735*d+86472015*h-4941258*y+117649*w-605304105*e+w*x+36015*w*
a-6860*w*c+735*w*e-42*w*g+1411788*b*x-605304105*b*c+172944030*b*e-22235661*b*g-\
252105*d*x+605304105*d*a-20588575*d*e+3529470*d*g+24010*f*x-172944030*f*a+
20588575*f*c-252105*f*g-1029*h*x+22235661*h*a-3529470*h*c+252105*h*e-z*y-36015*
z*b+6860*z*d-735*z*f+42*z*h-1411788*a*y+252105*c*y-24010*e*y+1029*g*y+
13841287201   ,
-22548578304*a+9395240960*c+176160768*g-9175040*x+196608*z-51539607552*b-\
2684354560*f+16106127360*d+251658240*h-12582912*y+262144*w-1761607680*e+w*x+
61440*w*a-10240*w*c+960*w*e-48*w*g+2752512*b*x-1761607680*b*c+440401920*b*e-\
49545216*b*g-430080*d*x+1761607680*d*a-45875200*d*e+6881280*d*g+35840*f*x-\
440401920*f*a+45875200*f*c-430080*f*g-1344*h*x+49545216*h*a-6881280*h*c+430080*
h*e-z*y-61440*z*b+10240*z*d-960*z*f+48*z*h-2752512*a*y+430080*c*y-35840*e*y+
1344*g*y+68719476736   ,
-73222472421*a+27119434230*c+401769396*g-18600435*x+354294*z-188286357654*b-\
7748409780*f+52301766015*d+645700815*h-28697814*y+531441*w-4519905705*e+w*x+
98415*w*a-14580*w*c+1215*w*e-54*w*g+4960116*b*x-4519905705*b*c+1004423490*b*e-\
100442349*b*g-688905*d*x+4519905705*d*a-93002175*d*e+12400290*d*g+51030*f*x-\
1004423490*f*a+93002175*f*c-688905*f*g-1701*h*x+100442349*h*a-12400290*h*c+
688905*h*e-z*y-98415*z*b+14580*z*d-1215*z*f+54*z*h-4960116*a*y+688905*c*y-51030
*e*y+1701*g*y+282429536481   ,
-210000000000*a+70000000000*c+840000000*g-35000000*x+600000*z-600000000000*b-\
20000000000*f+150000000000*d+1500000000*h-60000000*y+1000000*w+1000000000000-\
10500000000*e+w*x+150000*w*a-20000*w*c+1500*w*e-60*w*g+8400000*b*x-10500000000*
b*c+2100000000*b*e-189000000*b*g-1050000*d*x+10500000000*d*a-175000000*d*e+
21000000*d*g+70000*f*x-2100000000*f*a+175000000*f*c-1050000*f*g-2100*h*x+
189000000*h*a-21000000*h*c+1050000*h*e-z*y-150000*z*b+20000*z*d-1500*z*f+60*z*h
-8400000*a*y+1050000*c*y-70000*e*y+2100*g*y   ,
-544685916621*a+165056338370*c+1636922364*g-62004635*x+966306*z-1711870023666*b
-47158953820*f+389061369015*d+3215383215*h-116923026*y+1771561*w-22507682505*e+
3138428376721+w*x+219615*w*a-26620*w*c+1815*w*e-66*w*g+13528284*b*x-22507682505
*b*c+4092305910*b*e-334825029*b*g-1537305*d*x+22507682505*d*a-310023175*d*e+
33820710*d*g+93170*f*x-4092305910*f*a+310023175*f*c-1537305*f*g-2541*h*x+
334825029*h*a-33820710*h*c+1537305*h*e-z*y-219615*z*b+26620*z*d-1815*z*f+66*z*h
-13528284*a*y+1537305*c*y-93170*e*y+2541*g*y   ,
-1300264648704*a+361184624640*c+3009871872*g-104509440*x+1492992*z-\
4458050224128*b-103195607040*f+928760463360*d+6449725440*h-214990848*y+2985984*
w-45148078080*e+w*x+311040*w*a-34560*w*c+2160*w*e-72*w*g+20901888*b*x-\
45148078080*b*c+7524679680*b*e-564350976*b*g-2177280*d*x+45148078080*d*a-\
522547200*d*e+52254720*d*g+120960*f*x-7524679680*f*a+522547200*f*c-2177280*f*g-\
3024*h*x+564350976*h*a-52254720*h*c+2177280*h*e-z*y-311040*z*b+34560*z*d-2160*z
*f+72*z*h-20901888*a*y+2177280*c*y-120960*e*y+3024*g*y+8916100448256   ,
0;
int t=timer;
ideal G = std(I);
int s=timer-t;
print("Time to compute one drl Groebner bases: "); 
s;
print("Time units, counts per second:");
system("--ticks-per-sec");
degree(G);
ncols(G);
print(G);
quit;