Encodings for U+10DEF9