Encodings for U+4DEFC