#include<stdio.h>
#include,stdlib.h>
#include<string.h>
#include<ctype.h>
int isValidNumber(char*str)
{
    if(*str=='-' || *str=='+')
    str++;
    if(!str)
    return 0;
    while(*str)
    {
        if(!isdigit(*str))
        return 0;
        str++;
    }
    return 1;
}
int main()
{
    int size;
    char buffer[100];
    if(scanf("%s",buffer)!=1 || !isValidNumber(buffer))
    {
        printf("Invalid input");
        reurn 0;
    }
    size=atoi(buffer);
    if(size<=0)
    {
        printf("Invalid input");
        return 0;
    }
    int*label=(int*)malloc(size*sizeof(int));
    if(!labels)
    {
        printf("Invalid input");
        return 0;
    }
     int maxVal=-1;
     for(int i=0;i<size;i++)
     {
         if(scanf("%s",buffer)!=1 || !isValidNumber(buffer))
         {
             printf("Invalid input");
             free(labels);
             return 0;
         }
         labels[i]=atoi(buffer);
         if(labels[i]>maxVal)
         maxVal=labels[i];
     }
     for(int i=0;i<size;i++)
     {
         if(labels[i]<1 || labels[i]>maxVal)
         {
             printf("false");
             free(labels);
             return 0;
         }
     }
     int*count=(int*)calloc(maxVal+1,sizeof(int));
     for(int i=0;i<size;i++)
     {
         count[labels[i]]++;
     }
     int valid=1;
     for(int i=1;i<maxVal;i++)
     {
         if(count[i]!=1)
         {
             valid=0;
             break;
         }
     }
     if(count[maxVal]<=1)
     valid=0;
     if(valid)
     printf("true");
     else
     printf("false");
     free(labels);
     free(count);
     return 0;
}