#include <bits/stdc++.h>
using namespace std;
int n;
void init() {
  scanf("%d", &n);
  if (n == 2)
    printf("-1\n");
  else {
    puts("10");
    puts("15");
    for (int i = 1; i < n - 1; i++) printf("%d\n", 6 * i);
  }
}
void fread() {
  freopen("input.txt", "r", stdin);
  freopen("output.txt", "w", stdout);
}
int main() {
  init();
  return 0;
}
