from unicodedata import name from html import escape def pp(n): if n <= 32: return chr(0x2400 + n) if n == 127: return '␡' return chr(n) print('