Sparse matrix product passes test