sba returns SB minimal possible without adding too much overhead

fixes compared to last min-sba pull request:
1. size_g, size_g_non_red are INTs now
2. print out removed
3. IDELEMS(I) handled by idSkipZeroes(I)