input: [0] H a r e aka I R V [Pareto-Optimal] YES [Majority] YES [Condorcet] NO [Monotonic] NO [Clone-Independent] YES [Mutual majority] YES [Smith] NO [Reinforcing] NO [Schwartz] NO [Nonmanipulable] NO [Reverse-Symmetric] 
output: NO
options: Y E S
options: N O