Height-bounded Lempel-Ziv encodings | Synapse