Encodings for U+1FF51