Encodings for U+1EFC2