#include <stdio.h>

int main(){
	
	int month, total = 2, i;
	scanf("%d", &month);

	for(i=1;i<=month;i++){
		if(i%3==0){
			total *= 2;
		}
		printf("%dÔÂ:%d¸öÊý\n", i, total); 
	}

	return 0;
}