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