bytes = [105,110,102,111,32,73,110,97,99,99,101,115,105,98,108,101,13,10] print("".join(map(chr, bytes)))