Encodings for U+1BAD3