here formula_175 is 'formula_4 sparse',which means that at most formula_177 of its entries are formula_75.