Encodings for U+31001