Encodings for U+100417