static char *ok_x16[] = {
	"16 16 3 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#008000",
	"                ",
	"              1 ",
	"             11 ",
	"            111 ",
	"          1111  ",
	"         1111   ",
	"        1111    ",
	"       1111     ",
	" 1    1111      ",
	" 11  1111       ",
	" 1111111        ",
	" 111111         ",
	"  1111          ",
	"  111           ",
	"   1            ",
	"                "};

static char *ok_x24[] = {
	"24 24 3 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#008000",
	"                        ",
	"                        ",
	"                     1  ",
	"                   1111 ",
	"                  1111  ",
	"                 1111   ",
	"                1111    ",
	"               11111    ",
	"              11111     ",
	"             11111      ",
	"            11111       ",
	"           11111        ",
	"          11111         ",
	"  11     11111          ",
	" 1111   11111           ",
	" 11111 11111            ",
	"  111111111             ",
	"  11111111              ",
	"   111111               ",
	"    1111                ",
	"    111                 ",
	"     1                  ",
	"                        ",
	"                        "};

static char *ok_x32[] = {
	"32 32 3 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#008000",
	"                                ",
	"                                ",
	"                                ",
	"                           111  ",
	"                          1111  ",
	"                         11111  ",
	"                        11111   ",
	"                       11111    ",
	"                      11111     ",
	"                     11111      ",
	"                    11111       ",
	"                   11111        ",
	"                  11111         ",
	"                 11111          ",
	"                111111          ",
	"               111111           ",
	"             1111111            ",
	"   1        1111111             ",
	"  111      1111111              ",
	"  1111    1111111               ",
	"  11111  1111111                ",
	"   111111111111                 ",
	"   11111111111                  ",
	"    111111111                   ",
	"    11111111                    ",
	"     111111                     ",
	"     11111                      ",
	"      111                       ",
	"      11                        ",
	"                                ",
	"                                ",
	"                                "};

static char **ok_xpm[3] = { ok_x16, ok_x24, ok_x32 };