Encodings for Unicode Han Character 'CJK UNIFIED IDEOGRAPH-31DEF' (U+31DEF)