#include <stdio.h>

int main() {
    int n;
    while (scanf("%d", &n) != EOF) { 
        if(n < 3) {
            printf("-1\n");
            return 0;
        } else {
            printf("3 2 1");
            for(int i = 4; i <= n; i++) {
                printf(" %d", i);
            }
        }
    }
    return 0;
}