Encodings for Unicode Han Character 'CJK UNIFIED IDEOGRAPH-25C31' (U+25C31)