#include<bits/stdc++.h>
using namespace std;

//これがWA->A[i]!=A[j]の制約を満たす
//これがRE->A[i]!=A[j]を満たさない
int main(){
    int n;
    cin >> n;
    set<int> st;
    for(int i=0;i<n;i++){
        int a;cin >> a;
        st.insert(a);
    }
    assert((int)st.size()==n);
}