Encodings for Unicode Han Character 'CJK UNIFIED IDEOGRAPH-257DE' (U+257DE)