#include <bits/stdc++.h>
using namespace std;
int main() {
  int n;
  cin >> n;
  int a[n];
  for (int i = 0; i < n; i++) {
    cin >> a[i];
  }
  int ans[24];
  ans[0] = 31;
  ans[1] = 28;
  ans[2] = 31;
  ans[3] = 30;
  ans[4] = 31;
  ans[5] = 30;
  ans[6] = 31;
  ans[7] = 31;
  ans[8] = 30;
  ans[9] = 31;
  ans[10] = 30;
  ans[11] = 31;
  ans[12] = 31;
  ans[13] = 29;
  ans[14] = 31;
  ans[15] = 30;
  ans[16] = 31;
  ans[17] = 30;
  ans[18] = 31;
  ans[19] = 31;
  ans[20] = 30;
  ans[21] = 31;
  ans[22] = 30;
  ans[23] = 31;
  int ans2[24];
  ans2[0] = 31;
  ans2[1] = 28;
  ans2[2] = 31;
  ans2[3] = 30;
  ans2[4] = 31;
  ans2[5] = 30;
  ans2[6] = 31;
  ans2[7] = 31;
  ans2[8] = 30;
  ans2[9] = 31;
  ans2[10] = 30;
  ans2[11] = 31;
  ans2[12] = 31;
  ans2[13] = 28;
  ans2[14] = 31;
  ans2[15] = 30;
  ans2[16] = 31;
  ans2[17] = 30;
  ans2[18] = 31;
  ans2[19] = 31;
  ans2[20] = 30;
  ans2[21] = 31;
  ans2[22] = 30;
  ans2[23] = 31;
  int ans3[24];
  ans3[0] = 31;
  ans3[1] = 29;
  ans3[2] = 31;
  ans3[3] = 30;
  ans3[4] = 31;
  ans3[5] = 30;
  ans3[6] = 31;
  ans3[7] = 31;
  ans3[8] = 30;
  ans3[9] = 31;
  ans3[10] = 30;
  ans3[11] = 31;
  ans3[12] = 31;
  ans3[13] = 28;
  ans3[14] = 31;
  ans3[15] = 30;
  ans3[16] = 31;
  ans3[17] = 30;
  ans3[18] = 31;
  ans3[19] = 31;
  ans3[20] = 30;
  ans3[21] = 31;
  ans3[22] = 30;
  ans3[23] = 31;
  int f = 0;
  for (int i = 0; i < 24; i++) {
    int k = i;
    int cnt = 0;
    for (int j = 0; j < n; j++) {
      if (ans[k] == a[j]) {
        cnt++;
      }
      k++;
      if (k == 24) {
        k = 0;
      }
    }
    if (cnt == n) {
      f = 1;
    }
  }
  for (int i = 0; i < 24; i++) {
    int k = i;
    int cnt = 0;
    for (int j = 0; j < n; j++) {
      if (ans2[k] == a[j]) {
        cnt++;
      }
      k++;
      if (k == 24) {
        k = 0;
      }
    }
    if (cnt == n) {
      f = 1;
    }
  }
  for (int i = 0; i < 24; i++) {
    int k = i;
    int cnt = 0;
    for (int j = 0; j < n; j++) {
      if (ans3[k] == a[j]) {
        cnt++;
      }
      k++;
      if (k == 24) {
        k = 0;
      }
    }
    if (cnt == n) {
      f = 1;
    }
  }
  if (f == 1) {
    cout << "YES";
  } else {
    cout << "NO";
  }
  return 0;
}
