input:
5 2 1 3 5 3 7 1 4 1 2 2 5 2
output:
No
answer:
Yes
https://www.luogu.com.cn/blog/TheShadow/p5278-suan-shu-tian-cai-yu-deng-ci-shuo-lie-ti-xie