input: [0] C o p e l a n d [Pareto-Optimal] YES [Majority] YES [Condorcet] YES [Monotonic] YES [Clone-Independent] NO [Mutual majority] YES [Smith] YES [Reinforcing] NO [Schwartz] NO [Nonmanipulable] NO [Reverse-Symmetric] 
output: YES
options: Y E S
options: N O