elim.lib
constant blowup0
constant elimRing
constant elim
constant elim2
constant elim1
constant nselect
constant sat
constant select
constant select1