#include <bits/stdc++.h>
#define rep(i,a,b) for(int i=(a);i<=(b);++i)
#define per(i,a,b) for(int i=(a);i>=(b);--i)
#define ll long long
using namespace std;
inline ll read(){
    ll x=0,f=1;char ch=getchar();
    while (!isdigit(ch)){if (ch=='-') f=-1;ch=getchar();}
    while (isdigit(ch)){x=x*10+ch-48;ch=getchar();}
    return x*f;
}
const int N=1e4+5;
int n,a[2505],top=3;
int main(){
    int n=read();
    a[1]=6,a[2]=10,a[3]=15;
    rep(i,16,10000){
        if(i%6==0||i%10==0||i%15==0){
            a[++top]=i;
            if(top==n)break;
        }
    }
    rep(i,1,n)cout<<a[i]<<" ";
    return 0;
}
#include <bits/stdc++.h>
using namespace std;
using ll = long long;
 
int main() {
	ll N; cin >> N;
	map<int, int> mp;
	for (int i = 0; i < N; i++) {
		int a; cin >> a;
		mp[a]++;
	}
	ll res = N * N;
	for (auto m : mp) {
		ll n = m.second;
		res -= n * n;
	}
	cout << res / 2 << endl;
}