#include <bits/stdc++.h>
int main(void) {
  int i, n;
  while (scanf("%d", &n) != EOF) {
    if (n <= 2) {
      puts("-1");
    } else if (n == 3) {
      puts("2 3 1");
    } else {
      printf("100 99 ");
      for (i = 3; i <= n; i++) {
        printf("%d%c", i, i < n ? ' ' : '\n');
      }
    }
  }
  return 0;
}
