Encodings for Unicode Character 'MAYAN NUMERAL THIRTEEN' (U+1D2ED)