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