Encodings for U+1DE10