static char *top_x16[] = {
	"16 16 9 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#660000",
	"2	c	#990000",
	"3	c	#993333",
	"4	c	#996666",
	"5	c	#CC0000",
	"6	c	#FF0000",
	"7	c	#808080",
	"                ",
	"                ",
	"      000000000 ",
	"    214777777770",
	"  22555377777770",
	" 256666637777770",
	" 566666663777770",
	"2566666662777770",
	"2566666662777770",
	"2566666662777770",
	" 266666654777770",
	"  26666537777770",
	"   2222477777770",
	"      0000000000",
	"                ",
	"                "};

static char *top_x24[] = {
	"24 24 10 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#330000",
	"2	c	#990000",
	"3	c	#993333",
	"4	c	#996666",
	"5	c	#CC0000",
	"6	c	#FF0000",
	"7	c	#808080",
	"8	c	#800000",
	"                        ",
	"                        ",
	"                        ",
	"                        ",
	"        000000000000000 ",
	"     222847777777777770 ",
	"    2556552377777777770 ",
	"   26666666537777777770 ",
	"  266666666663777777770 ",
	" 2666666666665477777770 ",
	" 2666666666666377777770 ",
	" 2666666666666277777770 ",
	"25666666666666277777770 ",
	" 2666666666666377777770 ",
	" 2666666666665377777770 ",
	" 2566666666662777777770 ",
	"  256666666654777777770 ",
	"   25666666247777777770 ",
	"    2225223777777777770 ",
	"        100000000000000 ",
	"                        ",
	"                        ",
	"                        ",
	"                        "};

static char *top_x32[] = {
	"32 32 9 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#660000",
	"2	c	#990000",
	"3	c	#993333",
	"4	c	#996666",
	"5	c	#CC0000",
	"6	c	#FF0000",
	"7	c	#808080",
	"                                ",
	"                                ",
	"                                ",
	"                                ",
	"                                ",
	"           00000000000000000000 ",
	"           07777777777777777770 ",
	"       222223477777777777777770 ",
	"      2556666537777777777777770 ",
	"    226666666662477777777777770 ",
	"   2566666666666547777777777770 ",
	"  25666666666666654777777777770 ",
	"  26666666666666663777777777770 ",
	" 256666666666666665477777777770 ",
	" 266666666666666666377777777770 ",
	" 266666666666666666377777777770 ",
	" 266666666666666666377777777770 ",
	" 266666666666666666377777777770 ",
	" 256666666666666665377777777770 ",
	" 256666666666666665477777777770 ",
	"  26666666666666663777777777770 ",
	"   2666666666666637777777777770 ",
	"   2566666666666347777777777770 ",
	"    225666666653777777777777770 ",
	"      2225552247777777777777770 ",
	"         2217777777777777777770 ",
	"           00000000000000000000 ",
	"                                ",
	"                                ",
	"                                ",
	"                                ",
	"                                "};

static char **top_xpm[3] = { top_x16, top_x24, top_x32 };