【问题描述】

纸牌斗地主游戏中，单牌可以连成顺子，一下子出很多张牌。假设A 2 3 4 5 6 7 8 9 10 J Q K这些纸牌用1-13的数字来替代。 现在输入一个正整数n，再输入n张纸牌，判断这n张纸牌是否是一个顺子。顺子是指连续的纸牌。例如1 2 3 4 5就是一个顺子，而1 2 3 6 8就不是顺子。

【输入描述】

第一行，一个正整数n，代表纸牌数量。 (5≤n≤13) 第二行，n个正整数，代表每张纸牌，中间使用空格分隔。 (1≤正整数≤13) ，n个正整数的输入顺序按照从小到大输入。

【输出描述】

如果是顺子，输出"yes",否则输出"no"。

测试样例

5
1 2 3 4 5

yes

5
1 2 3 8 9

no