#include <stdio.h>

int main()
{
	int N;
	scanf("%d", &N);
	
	int i, bit[26];
	for (i = 1, bit[0] = 1; i <= 25; i++) bit[i] = bit[i-1] << 1;
	
	int x;
	for (i = 1, x = bit[25]; i <= N; i++) {
		printf("%d ", x);
		x += bit[25-i];
	}
	printf("\n");
	fflush(stdout);
	return 0;
}