OpenJudge题目“计算月份”

全局题号

21022

描述

众所周知，我们常用的公历纪年方式，一年有12个月，而每个月的天数各不相同，1月有31天，2月有28或29天（平年28天，闰年29天），3月31天，4月30天，5月31天，6月30天，7月31天，8月31天，9月30天，10月31天，11月30天，12月31天。年份能被4整除且不能被100整除，或者能被400整除的年份被定义为闰年。比如2000年和2004年都是闰年，而1900年和2018年不是。

现在给你n个整数a1,a2,a3,...,an，请问是否存在连续n个月，使得每个月的天数正好是这个数列（注意，这n个月可能会跨年）。例如，n=4, a1=31, a2=31, a3=30, a4=31，这样连续的4个月是存在的，2020年7月~10月就满足要求。对于这个问题，你只需要回答是否存在。

输入

第一行是一个整数n (1<=n<=24)
第二行有n个整数a1, a2, a3, ... , an (28 <= ai <= 31)

输出

如果存在连续n个月满足数列，则输出Yes，否则输出No (首字母大写）

样例输入

样例1
4
31 31 30 31

样例2
3
31 28 30

样例输出

样例1
Yes

样例2
No

a = [31,28,31,30,31,30,31,31,30,31