/* XPM */
static char *redo_xpm[] = {
/* columns rows colors chars-per-pixel */
"16 16 3 1",
". c #808080",
"X c #000080",
"  c None",
/* pixels */
"                ",
"                ",
"                ",
"                ",
"   .XXXX        ",
"  .X    XX   X  ",
"  X       X XX  ",
"  X        XXX  ",
"  X       XXXX  ",
"  .X     XXXXX  ",
"   X.           ",
"                ",
"                ",
"                ",
"                ",
"                "
};