Encodings for U+10DEFC