/* XPM */
static char * exec_xpm[] = {
"16 16 6 1",
" 	s None	c None",
".	c grey51",
"X	c grey76",
"o	c grey4",
"O	c blue4",
"+	c yellow1",
"                ",
"............... ",
".XXXXXXXXXXXX.o ",
".XOOOOO++++OO.o ",
".XOOOOO+++OOO.o ",
".XOOOO+++OOOO.o ",
".XOOOO++++++O.o ",
".XOOO++++++OO.o ",
".XOOOOO+++OOO.o ",
".XOOOOO++OOOO.o ",
".XOOOO++OOOOO.o ",
".XOOO++OOOOOO.o ",
".XOOO+OOOOOOO.o ",
"..............o ",
"ooooooooooooooo ",
"                "};