+ binary search for sparse pairs
Sparse representation of M