Encodings for U+1FC85