import os while 1:d=int(os.read(0,3),16);os.write(1,(('\\x%02x','\\n%c')[d==10],'%c')[31