#include <stdio.h>
#define MAX 32+1
#define d -2

int main(void){
	int i, t, n, j;
	char num[MAX];
	num[32]='\0';
	
	scanf("%d", &t);
	
	for(i=1; i<=t; i++){
		scanf("%d",  &n);
		
		for(j=31; j>=0 && n; j--){
			num[j]=(n%d)+48;
			n/=d;
			//printf("%c %d\n", num[j], n);	
		}
		for( ; j>=0; j--) num[j]='0';
		//printf("%s\n", num);
		
		sscanf(num, "%d", &n);
		
		printf("Case #%d: %d\n", i, n);
	}

	return 0;
}