LIB "tst.lib"; tst_init();
LIB "atkins.lib";
ring R = 0,x,dp;
Cornacchia(55,9551);
tst_status(1);$