#include <bits/stdc++.h>
int scan() {
  int t = 0;
  char c;
  c = getchar();
  while (c < '0' || c > '9') c = getchar();
  while (c >= '0' && c <= '9') {
    t = (t << 3) + (t << 1) + c - '0';
    c = getchar();
  }
  return (t);
}
void go() {
  int T = scan();
  if (T < 3)
    printf("-1");
  else {
    for (int i = T; i >= 1; i--) printf("%d ", i);
  }
}
int main() {
  go();
  return 0;
}
