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