static char *utf8_symbol[] = { "\342\224\274", "\342\224\234", "\342\224\254", "\342\224\214", "\342\224\244", "\342\224\202", "\342\224\220", "", "\342\224\264", "\342\224\224", "\342\224\200", "", "\342\224\230", "", "", "", "\342\224\274", "\342\224\240", "\342\224\257", "\342\224\217", "\342\224\250", "\342\224\203", "\342\224\223", "", "\342\224\267", "\342\224\227", "\342\224\201", "", "\342\224\233", "", "", "", "\342\200\242", "\342\226\241", "\342\230\206", "\342\227\213", "\342\226\240", "\342\230\205", "\342\227\216", "\342\227\217", "\342\226\263", "\342\227\217", "\342\227\213", "\342\226\241", "\342\227\217", "\342\211\252 \342\206\221 \342\206\223 ", NULL };