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