final encodings