static char *benchwork_x16[] = {
	"16 16 9 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#330000",
	"2	c	#663300",
	"3	c	#993300",
	"4	c	#996600",
	"5	c	#CC6600",
	"6	c	#FF6600",
	"7	c	#FF9900",
	"         2  3   ",
	"       126743   ",
	"      1476257   ",
	"    026752677   ",
	"   1366247777   ",
	"  00001677777   ",
	"  07772777777   ",
	"  07772777777   ",
	"  07772777777   ",
	"  07772777777   ",
	"  07772777775   ",
	"  07772777742   ",
	"  0777277622    ",
	"  07772762      ",
	"  0777252       ",
	"  000012        "};

static char *benchwork_x24[] = {
	"24 24 10 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#330000",
	"2	c	#333300",
	"3	c	#663300",
	"4	c	#993300",
	"5	c	#996600",
	"6	c	#CC6600",
	"7	c	#FF6600",
	"8	c	#FF9900",
	"                        ",
	"            03788843    ",
	"           147887368    ",
	"         02688863788    ",
	"        147887358888    ",
	"      01688863788888    ",
	"     137887447888888    ",
	"    0000003688888888    ",
	"    0888807888888888    ",
	"    0888808888888888    ",
	"    0888808888888888    ",
	"    0888808888888888    ",
	"    0888808888888888    ",
	"    0888808888888888    ",
	"    0888808888888888    ",
	"    0888808888888886    ",
	"    0888808888888743    ",
	"    088880888888733     ",
	"    0888808888863       ",
	"    088880888853        ",
	"    08888088733         ",
	"    088880873           ",
	"    08888053            ",
	"    0000001             "};

static char *benchwork_x32[] = {
	"32 32 10 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#330000",
	"2	c	#333300",
	"3	c	#663300",
	"4	c	#993300",
	"5	c	#996600",
	"6	c	#CC6600",
	"7	c	#FF6600",
	"8	c	#FF9900",
	"                                ",
	"                 027888874      ",
	"                3478888736      ",
	"              026888885378      ",
	"             1478888736888      ",
	"            16888886378888      ",
	"          1378888734888888      ",
	"         16888886268888888      ",
	"       0378888743788888888      ",
	"      16888887368888888888      ",
	"     000000001788888888888      ",
	"     088888884888888888888      ",
	"     088888884888888888888      ",
	"     088888884888888888888      ",
	"     088888884888888888888      ",
	"     088888884888888888888      ",
	"     088888884888888888888      ",
	"     088888884888888888888      ",
	"     088888884888888888888      ",
	"     088888884888888888888      ",
	"     088888884888888888888      ",
	"     088888884888888888873      ",
	"     08888888488888888863       ",
	"     0888888848888888863        ",
	"     088888884888888743         ",
	"     08888888488888733          ",
	"     088888884888863            ",
	"     08888888488853             ",
	"     0888888848733              ",
	"     08888888463                ",
	"     0000000033                 ",
	"             0                  "};

static char **benchwork_xpm[3] = { benchwork_x16, benchwork_x24, benchwork_x32 };