#include"testlib.h"
#include<bits/stdc++.h>
using namespace std;
using ll = long long;

const ll Nmin = 1, Nmax = 200'000;

int main(){
    registerValidation();

    ll N = inf.readLong(Nmin, Nmax);
    inf.readSpace();
    ll M = inf.readLong(1LL, N);
    inf.readEoln();
    set<ll> st;
    for (ll i = 1; i <= M; i++){
        if (i != 1){
            inf.readSpace();
        }
        ll Ai = inf.readLong(1LL, N);
        inf.ensuref(!st.contains(Ai), "A is distinct");
        st.insert(Ai);
    }
    inf.readEoln();

    inf.readEof();
}