#include <stdio.h>

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