#include <stdio.h>

int main(void) {
    int n;
    scanf("%d", &n);

    if (n == 1 || n == 2) {
        printf("-1\n");
        return 0;
    }
    else{
        printf("3 2 1 ");
        for (int i = 4; i <= n; i++)
        printf("%d ", i);
    }
    return 0;
}