static char *down_x16[] = {
	"8 16 2 1",
	" 	c	None",
	"0	c	#000000",
	"        ",
	"        ",
	"        ",
	"        ",
	"        ",
	"        ",
	" 000000 ",
	" 000000 ",
	"  0000  ",
	"   00   ",
	"        ",
	"        ",
	"        ",
	"        ",
	"        ",
	"        "};

static char *down_x24[] = {
	"12 24 2 1",
	" 	c	None",
	"0	c	#000000",
	"            ",
	"            ",
	"            ",
	"            ",
	"            ",
	"            ",
	"            ",
	"            ",
	" 0000000000 ",
	" 0000000000 ",
	" 0000000000 ",
	"  00000000  ",
	"   000000   ",
	"    0000    ",
	"     00     ",
	"      0     ",
	"            ",
	"            ",
	"            ",
	"            ",
	"            ",
	"            ",
	"            ",
	"            "};

static char *down_x32[] = {
	"16 32 2 1",
	" 	c	None",
	"0	c	#000000",
	"                ",
	"                ",
	"                ",
	"                ",
	"                ",
	"                ",
	"                ",
	"                ",
	"                ",
	"                ",
	"                ",
	"  0000000000000 ",
	"  0000000000000 ",
	"  0000000000000 ",
	"  000000000000  ",
	"   0000000000   ",
	"    00000000    ",
	"     000000     ",
	"      0000      ",
	"       000      ",
	"       00       ",
	"                ",
	"                ",
	"                ",
	"                ",
	"                ",
	"                ",
	"                ",
	"                ",
	"                ",
	"                ",
	"                "};

static char **down_xpm[3] = { down_x16, down_x24, down_x32 };