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