Encodings for U+1FC35