counting matchings