LIB "tst.lib";
tst_init();

ring R = (0,A), (h1(0..7),h0(0..5)), lp;
4*h0(3) - 1;
ring r=(0,a),x,dp;
x-1;
x-2;
x+a;
x-a;
x2-x;
x2-ax;

tst_status(1);$