Encodings for U+31017