#include <stdio.h>

int main(void)
{
	int n;
	int i;
	int count = 0;
	
	scanf("%d", &n);
	
	for (i = 3; i <= 300000; i += 3) {
		count++;
		if (count >= n) {
			printf("%d\n", i+1);
			break;
		} else {
			printf("%d ", i);
		}
	}
	
	return 0;
}