Encodings for U+4DEF8