Problem: We'll call a set of positive integers a beautiful if the following condition fulfills: for any prime p, if <image>, then <image>. In other words, if one number from the set is divisible by prime p, then at least half of numbers from the set is divisible by p.

Your task is to find any beautiful set, where the number of elements is equal to k and each element doesn't exceed 2k2.

Input

The first line contains integer k (10 ≤ k ≤ 5000) that shows how many numbers the required beautiful set should have.

Output

In the first line print k space-separated integers that are a beautiful set. If there are multiple such sets, you are allowed to print any of them.

Examples

Input

10


Output

16 18 24 27 36 48 54 72 108 144 

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
const int N = 5005;
const int inf = 1e9 + 7;
int pr[] = {2, 3, 5, 7, 11, 13};
int up;
int tot[105];
int q[50000005], vis[1000005];
int sz;
pair<int, int> srt[1000005];
void dfs(int x, int y) {
  if (y == sz) {
    q[x] = 1;
    return;
  }
  dfs(x, y + 1);
  x *= pr[y];
  while (x <= up) {
    dfs(x, y + 1);
    x *= pr[y];
  }
}
int ans[N];
int main() {
  int n;
  scanf("%d", &n);
  up = n * n * 2;
  sz = 6;
  if (n <= 100)
    sz = 4;
  else if (n <= 200)
    sz = 5;
  dfs(1, 0);
  int cnt = 0;
  for (int i = (1); i <= (up); i++)
    if (q[i]) {
      cnt++;
      srt[cnt].second = i;
      for (int j = (0); j <= (sz - 1); j++)
        if (i % pr[j] == 0) {
          srt[cnt].first ^= (1 << (j - 1));
          tot[j]++;
        }
    }
  sort(srt + 1, srt + 1 + cnt);
  int cur = cnt;
  for (int i = (1); i <= (cnt); i++) {
    int flag = 1;
    for (int j = (0); j <= (sz - 1); j++)
      if (srt[i].second % pr[j] == 0)
        if (tot[j] <= (n + 1) / 2) {
          flag = 0;
          break;
        }
    if (flag && cur > n) {
      cur--;
      vis[i] = 1;
      for (int j = (0); j <= (sz - 1); j++)
        if (srt[i].second % pr[j] == 0) tot[j]--;
    }
  }
  for (int i = (1); i <= (cnt); i++)
    if (!vis[i]) printf("%d ", srt[i].second);
  puts("");
  return 0;
}