Efficient Representation and Encoding of Distributive Lattices by Corwin Sinnamon