#include <stdio.h>

unsigned char holes[] = {
	0x37,0xff,0x00,0x00,0xff,0xff,0x00,0x00,
	0xff,0xff,0x00,0xff,0xff,0xff,0x00,0x00,
	0xff,0xff,0x00,0xff,0xff,0xff,0x00,0x00,
	0xff,0xff,0x00,0x17,0xff,0xff,0x00,0x00,
	0xff,0xff,0x00,0x00,0xff,0xff,0x00,0x00,
	0xff,0xff,0x00,0x00,0xff,0xff,0x00,0x00,
	0xff,0xff,0x00,0xd0,0xff,0xff,0x00,0x00,
	0xc6,0xff,0x00,0x07,0xff,0xff,0x00,0x00
};

int main()
{
	char c, highbit = 0x80;
	int i, j, k, columns = 0, lines = 0, linemap[24];
	unsigned char screen[24][40];

	// build table
	for(j=0,i=0;i<8;i++) {
		linemap[ 0 + j]=0+3*j;
		linemap[ 8 + j]=1+3*j;
		linemap[16 + j]=2+3*j;
		j++;
	}

	// clear screen
	for(i=0;i<24;i++)
		for(j=0;j<40;j++) 
			screen[linemap[i]][j] = ' ' | highbit;

	while((c = getchar()) != EOF) {
		if(c == '\r') // windows trash
			continue;
		if(columns > 39) // user didn't read the docs
			continue;
		if(lines > 23) // ditto
			break;
		if(c == '\n') { // end of line
			columns=0;
			lines++;
			continue;
		}

		screen[linemap[lines]][columns] = c | highbit;
		columns++;
	}

	// dump to stdout
	for(i=0;i<24;i++) {
		for(j=0;j<40;j++)
			putchar(screen[i][j]);
		if((i + 1) % 3 == 0)
			for(k=0;k<8;k++)
				putchar(holes[(i/3)*8+k]);
	}

	return 0;
}