import sys, codecs
sys.stdout = codecs.getwriter('utf_16')(sys.stdout.buffer, 'strict')

colors = {0: 11035, 1: 127875, 2: 127765, 3: 127793, 4: 11036, 5: 8419, 6: 128315, 7: 128314, 8: 127999, 9: 127995, 10: 128128}

h = [[0x0, 0x1f78a40, 0x13ab6680, 0x19eaa89860, 0xa1b01d4b158, 0x650e124ef1bc, 0x660e2f6c976c, 0x3f38f284e3db6, 0x3f2a653a906a6, 0x3f28cb71571c6, 0x3f28cb71571c6, 0x3f377e5cd36b6, 0x6610c5b0ff2c, 0x65259c65c6fc, 0xa1b01d4b158, 0x19debcd660, 0x0], # jack
[0x0, 0xa59119f00, 0x677af35980, 0x677af35980, 0x69cf0e7fc0, 0x40acd8835c0, 0x40acd8835c0, 0x40b51dab8c0, 0x286ccdce89e0, 0x286c0752c560, 0x19438493bc6f0, 0x19438493bc6f0, 0x19438493bc6f0, 0xfca32dc55c718, 0xfca32dc55c718, 0xe5e0960b38708, 0x0], # ghost
[0x9de5fc9b16a39c, 0x9de5fc98b3ad5c, 0x9de5fc811fe91c, 0x9de5fc811fe91c, 0x9de5fb9277b81c, 0x9de5fb9277b81c, 0x9de5f242420d9c, 0x9de5f24252614c, 0x9de5aeff11cf3c, 0x9dbd9094070004, 0x8e1bc9bf118e7c, 0x3b9a9e6c, 0x9e0eed9b3a1de4, 0x9deb0a1c441ba4, 0x9deb095bbe3824, 0x9de67df509f8b4, 0x9de5fc9b59c71c], # witch
[0xfc9d5ba740c98, 0x2805950471e0, 0x1f4730fc9adfb0, 0x1f8cad3f7cdd30, 0x913c252ed1e364, 0x1f9396c2c4db30, 0x8e6be5789c09c4, 0x9dc4ea09b8f43c, 0x8e6be789e615c4, 0x9c591fa96af6ac, 0x9dc5938e3e3b3c, 0x9de1f3df1b9d5c, 0x9de5a7f0eea79c, 0x9de5a7f0eea79c, 0x9de5a7f0eea79c, 0x9de5961133ef9c, 0x9de5f34aed2e1c] # bat
]


for g in h:
    for i in g:
        for j in str(int(i)).zfill(17):
            print(chr(colors[int(j)]), end='')
        print()
    print()