问题描述

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

输入

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

输出

如果是顺子，输出“yes”否则输出“no”

样例

5
2 3 4 5 6

yes

6
2 3 4 5 6 8

no

Limitation

1s, 1024KiB for each test case.