/* 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 ", " ", " ", " ", " "};
