input: [0] S c h u l z e [Pareto-Optimal] YES [Majority] YES [Condorcet] YES [Monotonic] YES [Clone-Independent] YES [Mutual majority] YES [Smith] YES [Reinforcing] NO [Schwartz] YES [Nonmanipulable] NO [Reverse-Symmetric] 
output: YES
options: Y E S
options: N O