smaller encodings