unsigned char ida_chars[] =
{
   13,  19,  23,  17,   2,   1,  32,  29,  12,   2, 
   25,  47,  23,  43,  36,  31,  30,  22,   9,  15, 
   21,  39,  19,  38,  10,  47,  30,  26,  45,  12, 
   34,   4
};