Huffman: weight, chars, times