Encodings for U+F3717