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