listchars.py

#!/usr/bin/env python3
import fileinput
chars = set()

for line in fileinput.input():
	chars.update(line)
	
for char in chars:
	print(hex(ord(char)).replace('0x','U+'))