LIB "tst.lib"; tst_init();
LIB "atkins.lib";
ring R = 0,x,dp;
disc(2003,50);
tst_status(1);$