#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;
}

京公网安备 11010502036488号