#include <stdio.h>

/* Converts 4-bit-encoded text to ASCII */

char *lut = "\n etaoinshrdlumc";

int main() { while (1) {
	int c = getchar();
	if (c == EOF) break;
	putchar(lut[(c >> 4) & 15]);
	putchar(lut[c & 15]);
}}
