#include <iostream>
#include<stdio.h>
using namespace std;
int a[1010];
int main()
{
    int b;
    int n,c=0;
    scanf("%d",&n);
    for(int i=1; i<=n; i++)
    {
        scanf("%d",&b);
        if(b>n)
        {
            c=-1;
            break;
        }
        a[b]++;
    }
    for(int i=1; i<=n; i++)
    {
        if(a[i]==0)
        {
            c=-1;
        }
    }
    if(c==-1)
    {
        printf("No");
    }
    else printf("Yes");
    return 0;
}

#include<bits/stdc++.h>
using namespace std;
const int N=2e5+6;
char c[N];
char l[N];
int len,top;
int main()
{
	cin>>len;
	scanf("%s",c+1);
	int p=len;
	int tot=1;
	tot=0;
	for(int i=1;i<=len;i++)
	{
		tot++;
		l[tot]=c[i];
		if(tot>=3&&l[tot]=='x'&&l[tot-1]=='o'&&l[tot-2]=='f')
		p-=3,tot-=3;
	}
	cout<<p;
	return 0;
}