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