Encodings for U+1FC51