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