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