#include <bits/stdc++.h>
using namespace std;
const int MAXN = 3e3 + 10;
const int inf = 1e9;
struct Edge {
  int to, nxt, w, c;
};
int n, S, S0, T, cnt_e = 1;
int a[MAXN];
int head[MAXN * 10], curh[MAXN * 10];
int dis[MAXN * 10];
bool inq[MAXN * 10];
Edge e[MAXN * 20];
inline void addedge(int u, int v, int w, int c, bool fg) {
  e[++cnt_e].to = v;
  e[cnt_e].nxt = head[u];
  e[cnt_e].w = w;
  e[cnt_e].c = c;
  head[u] = cnt_e;
  if (fg) addedge(v, u, 0, -c, false);
}
inline bool spfa() {
  for (int i = 1; i <= 4 * n + 3; i++) curh[i] = head[i];
  for (int i = 1; i <= 4 * n + 3; i++) dis[i] = -inf, inq[i] = false;
  queue<int> q;
  q.push(S);
  dis[S] = 0;
  inq[S] = true;
  while (!q.empty()) {
    int u = q.front();
    inq[u] = false;
    q.pop();
    for (int i = head[u]; i; i = e[i].nxt) {
      int v = e[i].to, w = e[i].w, c = e[i].c;
      if (dis[v] >= dis[u] + c || !w) continue;
      dis[v] = dis[u] + c;
      if (!inq[v]) q.push(v), inq[v] = true;
    }
  }
  return dis[T] != -inf;
}
int cost;
inline int dfs(int u, int flow) {
  if (u == T || !flow) return flow;
  inq[u] = true;
  int res = 0;
  for (int &i = curh[u]; i; i = e[i].nxt) {
    int v = e[i].to, w = e[i].w, c = e[i].c;
    if (dis[v] != dis[u] + c || !w || inq[v]) continue;
    int k = dfs(v, min(flow, w));
    e[i].w -= k;
    e[i ^ 1].w += k;
    flow -= k;
    res += k;
    cost += k * c;
    if (!flow) break;
  }
  inq[u] = false;
  return res;
}
inline void dinic() {
  while (spfa()) dfs(S, inf);
}
int main() {
  scanf("%d", &n);
  for (int i = 1; i <= n; i++) scanf("%d", &a[i]);
  S = 4 * n + 1, S0 = 4 * n + 2, T = 4 * n + 3;
  addedge(S, S0, 4, 0, true);
  for (int i = 1; i <= n; i++) {
    addedge(S0, i, 1, 0, true);
    addedge(i, i + n, 1, 1, true);
    addedge(i + n, T, 1, 0, true);
    addedge(i + 2 * n, i, 1, 0, true);
    addedge(i + 3 * n, i, 1, 0, true);
    for (int j = i + 1; j <= n; j++)
      if (a[i] - a[j] == 1) {
        addedge(i + n, j + 3 * n, inf, 0, true);
        break;
      }
    for (int j = i + 1; j <= n; j++)
      if (a[j] - a[i] == 1) {
        addedge(i + n, j + 3 * n, inf, 0, true);
        break;
      }
    for (int j = i + 1; j <= n; j++)
      if (a[i] == a[j]) {
        addedge(i + 3 * n, j + 3 * n, inf, 0, true);
        break;
      }
    for (int j = i + 1; j <= n; j++)
      if (a[i] % 7 == a[j] % 7) {
        addedge(i + n, j + 2 * n, inf, 0, true);
        break;
      }
    for (int j = i + 1; j <= n; j++)
      if (a[i] % 7 == a[j] % 7) {
        addedge(i + 2 * n, j + 2 * n, inf, 0, true);
        break;
      }
  }
  dinic();
  printf("%d\n", cost);
  return 0;
}
