Fakultatyvas
Feb. 26, 2018 Standings Problems
Problem J. 10
Input file name: standard input
Output file name: standard output
Time limit: 1 s
Memory limit: 1024 MB

Examples

standard input standard output
10 10
5 5 6 6 4 5
 YES
10 10
5 5 6 6 7 7
 NO