Encodings for U+1137C