hufffman encoding in python