# 制約チェック MOD = 1000000007 N, M = map(int, input().split()) A = [int(s) for s in input().split()] assert 1 <= N <= 10 ** 3 assert 1 <= M <= 10 ** 9 assert all(1 <= a <= N for a in A) assert len(set(A)) == N