#include <stdio.h>

char lower(char c)
{
	if ((c >> 5) == 0x2) {	// 上位3ビットが010ならば
		return c ^ 0x20;
	} else {
		return c;
	}
}

char upper(char c)
{
	if ((c >> 5) == 0x3) {	// 上位3ビットが011ならば
		return c ^ 0x20;
	} else {
		return c;
	}
}

void printc(char c)
{
	int	i;

	for (i = 7; i >= 0; i--) {
		printf("%c", '0' + ((c >> i) & 1));
		if (i % 4 == 0) {
			printf("%c", i ? ' ' : '\n');
		}
	}
}

int main()
{
	char	c, ret;

	scanf("%c", &c);
	printf("%c:", c);
	printc(c);
	ret = lower(c);
	printf("%c:", ret);
	printc(ret);
	ret = upper(c);
	printf("%c:", ret);
	printc(ret);
	return 0;
}