Problem: Earlier, when there was no Internet, each bank had a lot of offices all around Bankopolis, and it caused a lot of problems. Namely, each day the bank had to collect cash from all the offices.

Once Oleg the bank client heard a dialogue of two cash collectors. Each day they traveled through all the departments and offices of the bank following the same route every day. The collectors started from the central department and moved between some departments or between some department and some office using special roads. Finally, they returned to the central department. The total number of departments and offices was n, the total number of roads was n - 1. In other words, the special roads system was a rooted tree in which the root was the central department, the leaves were offices, the internal vertices were departments. The collectors always followed the same route in which the number of roads was minimum possible, that is 2n - 2.

One of the collectors said that the number of offices they visited between their visits to offices a and then b (in the given order) is equal to the number of offices they visited between their visits to offices b and then a (in this order). The other collector said that the number of offices they visited between their visits to offices c and then d (in this order) is equal to the number of offices they visited between their visits to offices d and then c (in this order). The interesting part in this talk was that the shortest path (using special roads only) between any pair of offices among a, b, c and d passed through the central department.

Given the special roads map and the indexes of offices a, b, c and d, determine if the situation described by the collectors was possible, or not.

Input

The first line contains single integer n (5 ≤ n ≤ 5000) — the total number of offices and departments. The departments and offices are numbered from 1 to n, the central office has index 1.

The second line contains four integers a, b, c and d (2 ≤ a, b, c, d ≤ n) — the indexes of the departments mentioned in collector's dialogue. It is guaranteed that these indexes are offices (i.e. leaves of the tree), not departments. It is guaranteed that the shortest path between any pair of these offices passes through the central department.

On the third line n - 1 integers follow: p2, p3, ..., pn (1 ≤ pi < i), where pi denotes that there is a special road between the i-th office or department and the pi-th department.

Please note the joint enumeration of departments and offices.

It is guaranteed that the given graph is a tree. The offices are the leaves, the departments are the internal vertices.

Output

If the situation described by the cash collectors was possible, print "YES". Otherwise, print "NO".

Examples

Input

5
2 3 4 5
1 1 1 1


Output

YES

Input

10
3 8 9 10
1 2 2 2 2 2 1 1 1


Output

NO

Input

13
13 12 9 7
1 1 1 1 5 5 2 2 2 3 3 4


Output

YES

Note

In the first example the following collector's route was possible: <image>. We can note that between their visits to offices a and b the collectors visited the same number of offices as between visits to offices b and a; the same holds for c and d (the collectors' route is infinite as they follow it each day).

In the second example there is no route such that between their visits to offices c and d the collectors visited the same number of offices as between visits to offices d and c. Thus, there situation is impossible. 

In the third example one of the following routes is: <image>.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
const long double eps = 1e-9;
const int inf = (1 << 30) - 1;
const long long inf64 = ((long long)1 << 62) - 1;
const long double pi = acos(-1);
template <class T>
T sqr(T x) {
  return x * x;
}
template <class T>
T abs(T x) {
  return x < 0 ? -x : x;
}
int main() {
  ios_base::sync_with_stdio(0);
  int n;
  cin >> n;
  int v[4];
  cin >> v[0] >> v[1] >> v[2] >> v[3];
  --v[0], --v[1], --v[2], --v[3];
  vector<int> p(n);
  p[0] = -1;
  for (int i = 1; i < n; ++i) {
    cin >> p[i];
    --p[i];
  }
  vector<int> num_ch(n, 0);
  for (int i = n - 1; i > 0; --i) {
    num_ch[i] = max(num_ch[i], 1);
    num_ch[p[i]] += num_ch[i];
  }
  int total = num_ch[0];
  if (total % 2 == 1) {
    cout << "NO" << endl;
    return 0;
  }
  vector<int> color(n, -1);
  for (int i = 0; i < 4; ++i) {
    int cur = v[i];
    while (cur != 0) {
      color[cur] = i;
      cur = p[cur];
    }
  }
  vector<int> big;
  for (int i = 0; i < n; ++i) {
    if (p[i] == 0 && color[i] == -1) {
      big.push_back(num_ch[i]);
    }
  }
  vector<vector<int>> small(4);
  for (int i = 1; i < n; ++i) {
    if (color[i] == -1 && color[p[i]] != -1) {
      small[color[p[i]]].push_back(num_ch[i]);
    }
  }
  vector<int> num(4, 0);
  vector<vector<bool>> can_be(4, vector<bool>(total, false));
  for (int i = 0; i < 4; ++i) {
    num[i] = 1;
    can_be[i][0] = true;
    for (int j = 0; j < ((int)(small[i]).size()); ++j) {
      for (int k = num[i] - 1; k >= 0; --k) {
        if (can_be[i][k]) {
          can_be[i][k + small[i][j]] = true;
        }
      }
      num[i] += small[i][j];
    }
  }
  vector<bool> can1(total, false);
  vector<bool> can2(total, false);
  for (int i = 0; i < num[0]; ++i) {
    for (int j = 0; j < num[1]; ++j) {
      if (can_be[0][i] && can_be[1][j]) {
        can1[num[2] + num[0] - i - 1 + j] = true;
      }
    }
  }
  for (int i = 0; i < num[2]; ++i) {
    for (int j = 0; j < num[3]; ++j) {
      if (can_be[2][i] && can_be[3][j]) {
        can2[num[1] + num[2] - i - 1 + j] = true;
      }
    }
  }
  for (int t = 0; t < ((int)(big).size()); ++t) {
    for (int i = total - 1; i >= 0; --i) {
      if (can1[i]) {
        can1[i + big[t]] = true;
      }
      if (can2[i]) {
        can2[i + big[t]] = true;
      }
    }
  }
  cout << (can1[total / 2 - 1] && can2[total / 2 - 1] ? "YES" : "NO") << endl;
  return 0;
}