/* XPM */
static char *divideontimes[] = {
/* columns rows colors chars-per-pixel */
"12 19 3 1",
"  c black",
". c gray100",
"X c None",
/* pixels */
"XXXXXXXXXXXX",
"XXXXXXXXXXXX",
"XXXXXXXXXXXX",
"XXXXXXXXXXXX",
"XXXXXX  XXXX",
"XXX XX  XX X",
"XXXX XXXX XX",
"XXXXX XX XXX",
"XXXXXX  XXXX",
"XX          ",
"XXXXXX  XXXX",
"XXXXX XX XXX",
"XXXX XXXX XX",
"XXX XX  XX X",
"XXXXXX  XXXX",
"XXXXXXXXXXXX",
"XXXXXXXXXXXX",
"XXXXXXXXXXXX",
"XXXXXXXXXXXX"
};