Encodings for U+10DEF0