Encodings for U+100415