help elim.lib; LIB "elim.lib"; example blowup0; newline; example elim; newline; example elim1; newline; example nselect; newline; example sat; newline; example select; newline; kmemory(); $