#include <bits/stdc++.h>
using namespace std;
int main() {
  int num;
  while (scanf("%d", &num) != EOF) {
    if (num > 2) {
      while (num) {
        cout << num << " ";
        num--;
      }
      cout << endl;
    } else {
      cout << -1 << endl;
    }
  }
  return 0;
}
