Encodings for U+DEFD1