/* XPM */
static char * right_pushed_xpm[] = {
"8 12 4 1",
" c none",
". c gray45",
"X c gray90",
"O c gray60",
".. ",
"..O. ",
"..OOO. ",
"..OOOOOX",
"..OOOOXX",
"..OOXX ",
"..XX ",
"OO ",
" ",
" "};