Teacher Resources: Huffman encoding