Encodings for U+1DDDC