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