Buobe
    Settling a 2006 conjecture on Huffman codes. | Buobe