# include <stdio.h>

# define FIN "grigo.in"
# define FOUT "grigo.out"
# define MAXN 100001
# define INF 1000003

unsigned char s[MAXN];
long N,M,i;
long aux;

    int main()
    {
        freopen(FIN,"r",stdin);
        freopen(FOUT,"w",stdout);
        
        scanf("%ld%ld",&N,&M);
        long x;
        for (i = 1; i <= N; ++i)
          {
              scanf("%ld",&x);
              s[x]=1;
          }
        aux=1;
        for (i = 1; i <= N; ++i)
          if (s[i]==0) aux=((i-1)*aux)%INF;
          
        printf("%ld",aux);
        
        return 0;
    }