LIB "tst.lib"; tst_init();
LIB "freegb.lib";
ring r = 0,(x4,x3,x2,x1),Dp;
int upToDeg = 7;
def R = makeLetterplaceRing(upToDeg);
setring(R);
ideal Id = 35*x4*x4-68*x4*x3-25*x4*x2-35*x4*x1+26*x3*x4-194*x3*x3-116*x3*x2-26*x3*x1+217*x2*x4-130*x2*x3+43*x2*x2-217*x2*x1-x1*x4-86*x1*x3-59*x1*x2+x1*x1,
-33*x4*x4-4*x4*x3+13*x4*x2+12*x4*x1-49*x3*x4+18*x3*x3+4*x3*x2+41*x3*x1-243*x2*x4+344*x2*x3-143*x2*x2+450*x2*x1-7*x1*x4-20*x1*x3+15*x1*x2-16*x1*x1,
7*x4*x4+122*x4*x3+40*x4*x2+29*x4*x1-28*x3*x4-24*x3*x3-96*x3*x2+76*x3*x1-15*x2*x4+360*x2*x3+195*x2*x1+9*x1*x4+74*x1*x3+40*x1*x2+3*x1*x1,
29*x4*x4-34*x4*x3-17*x4*x2-37*x4*x1-359*x3*x4+166*x3*x3-93*x3*x2+367*x3*x1+135*x2*x4-96*x2*x3-5*x2*x2-150*x2*x1-42*x1*x4-34*x1*x2+36*x1*x1,
69*x4*x4-20*x4*x3+21*x4*x2-74*x4*x1+223*x3*x4-126*x3*x3+25*x3*x2-240*x3*x1+20*x2*x4-192*x2*x3-124*x2*x2-24*x2*x1+108*x1*x4-44*x1*x3+24*x1*x2-116*x1*x1,
54*x4*x4-124*x4*x3+74*x4*x2-150*x4*x1-9*x3*x4+106*x3*x3-59*x3*x2+105*x3*x1-195*x2*x4-114*x2*x3+40*x2*x2+15*x2*x1+48*x1*x4-96*x1*x3+58*x1*x2-120*x1*x1;
option(redTail);
option(redSB);
std(Id);
tst_status(1);$