#include <bits/stdc++.h>
using namespace std;
int main() {
  int n;
  scanf("%d", &n);
  if (n == 2) {
    printf("-1\n");
  } else {
    printf("6\n10\n15\n");
    for (int i = 3; i < n; i++) {
      printf("%d\n", (i - 2) * 30);
    }
  }
  return 0;
}
