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



京公网安备 11010502036488号