在《西游记》中，唐僧师徒需穿越多个设有特殊考验的山洞。其中一项考验是按递增顺序通过山洞到达编号为n的洞口，山洞编号从 开始。
给定一个长度为 - 的数字序列代表当前山洞能去往的山洞编号。请你判断唐僧师徒从 号洞口开始是否能按递增顺序到达编号为 的洞口，若能，
输出""，否则，输出""。
输入包含多行。
第一行包含一个整数 ，表示山洞的数量。
以下 - 行，表示 号山洞可以前往的山洞编号，山洞的编号保证为 至 之间。
输出包含 行。
输出最后的结果是输出"";否则，输出""。
样例输入
5 2 3 2 4
样例输出
No
样例解释
输入: 5 表示一共有 5 个洞口
2 3 2 4
1 号洞可以去往 2 号洞，2 号洞可以去往 3 号洞。
3 号洞可以去往 2 号洞，4 号洞可以去 4 号洞。
以下是模拟唐僧师徒走山洞的过程:
开始从 1 号洞去往 2 号洞，从 2 号洞去往 3 号洞。
从 3 号洞去往 2 号洞，不是递增通过山洞，所以输出 "No"。
对于所有的数据，满足。