CodeForces 899B Months and Years

//建立一个数组，把所有年的情况都在里面，直接配对找与输入的数组相同即可

#include <bits/stdc++.h>

using namespace std;

int main(){
	int n;
	while(~scanf("%d",&n)){
		int a[96]={31,29,31,30,31,30,31,31,30,31,30,31,
				   31,28,31,30,31,30,31,31,30,31,30,31,
				   31,28,31,30,31,30,31,31,30,31,30,31,
				   31,28,31,30,31,30,31,31,30,31,30,31,
				   31,29,31,30,31,30,31,31,30,31,30,31,
				   31,28,31,30,31,30,31,31,30,31,30,31,
				   31,28,31,30,31,30,31,31,30,31,30,31,
				   31,28,31,30,31,30,31,31,30,31,30,31};
		int c[25];
		int p=0;
		for(int i=1;i<=n;i++){
			
			scanf("%d",&c[i]);
		}
		if(n==1){
			printf("Yes\n");
			continue;
		}
		
		for(int j=0;j<96;j++){
			int d=1;
			if(a[j]==c[1]){
				for(int i=j+1;i<96;i++){
					
					d++;
					if(a[i]!=c[d])
					{
						break;
					}
					if(d==n){
						p=1;
					}
				}
			}
		}
		if(p==1){
			printf("Yes\n");
		}
		else
		printf("No\n");
	}
 }