<> <> <> Run SParseImpl BoolExImpl BoolExGen