1.2.12 Worked Examples: Huffman Encoding