#include <stdio.h>
#include <stdint.h>

int
main(void)
{
	uint64_t dx = 0x357620655410;

	while (dx)
		putchar(0x726f6c6564574820 >> (((dx >>= 4) & 0xf) << 3));
	return 0;
}