LIB "tst.lib";
tst_init();
LIB "elim.lib";
example blowup0;
example elim;
example elim1;
example nselect;
example sat;
example select;
example select1;

tst_status(1);$;