static char *control_x16[] = {
	"16 16 16 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#003300",
	"2	c	#006600",
	"3	c	#009900",
	"4	c	#00CC00",
	"5	c	#00FF00",
	"6	c	#330000",
	"7	c	#333300",
	"8	c	#660000",
	"9	c	#663300",
	"A	c	#990000",
	"B	c	#CC0000",
	"C	c	#FF0000",
	"D	c	#800000",
	"E	c	#008000",
	"                ",
	" 0            00",
	"  0          00 ",
	"   0        00  ",
	"    0 8ABD 00   ",
	"    07CCCCA0    ",
	"    E49CCCCD    ",
	"    4549CCCB    ",
	"    45549CCB0   ",
	"    355549CA    ",
	"    04555496    ",
	"    01455420    ",
	"   0   00   0   ",
	"  0          0  ",
	" 0            0 ",
	"0              0"};

static char *control_x24[] = {
	"24 24 15 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#006600",
	"2	c	#009900",
	"3	c	#00CC00",
	"4	c	#00FF00",
	"5	c	#330000",
	"6	c	#339900",
	"7	c	#660000",
	"8	c	#663300",
	"9	c	#990000",
	"A	c	#CC0000",
	"B	c	#FF0000",
	"C	c	#800000",
	"D	c	#008000",
	"                        ",
	" 00                  00 ",
	" 000                000 ",
	"  000              000  ",
	"   000            000   ",
	"    000          000    ",
	"     000005CC700000     ",
	"      007ABBBBA500      ",
	"      018BBBBBBA50      ",
	"      0338BBBBBBA0      ",
	"     014438BBBBBB70     ",
	"     0244438BBBBB90     ",
	"     03444438BBBB90     ",
	"     0D4444438BBB90     ",
	"     0044444438BB5      ",
	"      0D4444443890      ",
	"      002444444600      ",
	"     00001333310000     ",
	"    000  000000  000    ",
	"   000            000   ",
	"  000              000  ",
	" 000                000 ",
	" 00                  000",
	"                        "};

static char *control_x32[] = {
	"32 32 15 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#003300",
	"2	c	#006600",
	"3	c	#009900",
	"4	c	#00CC00",
	"5	c	#00FF00",
	"6	c	#330000",
	"7	c	#660000",
	"8	c	#663300",
	"9	c	#990000",
	"A	c	#CC0000",
	"B	c	#FF0000",
	"C	c	#800000",
	"D	c	#008000",
	"                                ",
	"  0                          0  ",
	" 000                        000 ",
	"  000                      0000 ",
	"   000                    0000  ",
	"    000                  0000   ",
	"     000                0000    ",
	"      000      00      0000     ",
	"       000  00077000  0000      ",
	"        0000CABBBBAC00000       ",
	"         06ABBBBBBBB9000        ",
	"        0038BBBBBBBBB90         ",
	"        0D548BBBBBBBBB70        ",
	"       0045548BBBBBBBBA0        ",
	"       02555548BBBBBBBB60       ",
	"       035555548BBBBBBBC0       ",
	"       0355555548BBBBBBC0       ",
	"       0D555555548BBBBB70       ",
	"       005555555548BBBB00       ",
	"        035555555548BB90        ",
	"        0045555555548B60        ",
	"         02455555555480         ",
	"        000145555554D000        ",
	"       00000024444200 000       ",
	"      000   00000000   000      ",
	"     000                000     ",
	"    000                  000    ",
	"   000                    000   ",
	"  000                      000  ",
	" 000                        000 ",
	" 00                          00 ",
	"                                "};

static char **control_xpm[3] = { control_x16, control_x24, control_x32 };