Encodings for U+1EF01