Encodings for U+10DEF8