<> <> <> Install SParse Run BoolExImpl BoolExGen