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