#include <bits/stdc++.h>
int main() {
  int n, i, j, k, temp;
  while (scanf("%d", &n) == 1) {
    if (n < 3)
      printf("-1\n");
    else {
      printf("%d", n);
      for (i = n - 1; i > 0; i--) printf(" %d", i);
    }
  }
  return 0;
}
