Efficient Representation and Encoding of Distributive Lattices