Encodings for U+1C80F