Remove dummy variables.
Reverting a pivot count change.
Improving the interface for DenseMultiset.
Removing whitespace.
Adding degenerate penalties.