Encodings for U+1FF7C