condorcet winner encoding added