static char *convert_to_x16[] = {
	"16 16 8 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#999999",
	"2	c	#CC0000",
	"3	c	#CCCCCC",
	"4	c	#FF0000",
	"5	c	#FFFFFF",
	"6	c	#808080",
	"      00000     ",
	"      00        ",
	"      0000      ",
	"      00        ",
	"      00        ",
	"        2       ",
	"        2       ",
	"        2       ",
	"      42224     ",
	"       424      ",
	" 363    4  363  ",
	"5060      10601 ",
	"36 1   6006   03",
	"30   101    1 63",
	" 10601      060 ",
	"  363       363 "};

static char *convert_to_x24[] = {
	"24 24 4 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#CC0000",
	"2	c	#CC0033",
	"                        ",
	"         000000         ",
	"         000000         ",
	"         00             ",
	"         00000          ",
	"         00000          ",
	"         00             ",
	"         00             ",
	"         00             ",
	"            2           ",
	"            2           ",
	"            2           ",
	"        22  2  2        ",
	"         22 2 2         ",
	"          2222          ",
	"           22           ",
	"  0000          00000   ",
	" 00  0       0000    0  ",
	" 0   00    0000   00 00 ",
	" 0   0    00      0   0 ",
	" 00 00  00       00   0 ",
	"  00  000         0  0  ",
	"   0000            000  ",
	"                        "};

static char *convert_to_x32[] = {
	"32 32 4 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#CC0000",
	"2	c	#CC0033",
	"                                ",
	"                                ",
	"            00000000            ",
	"             0                  ",
	"             0                  ",
	"             0                  ",
	"             000000             ",
	"             0                  ",
	"             0                  ",
	"             0                  ",
	"             0                  ",
	"             0                  ",
	"               22               ",
	"               22               ",
	"               22               ",
	"               22               ",
	"           22  22  22           ",
	"           222 22 222           ",
	"            22222222            ",
	"             222222             ",
	"              2222              ",
	"    000        22      00000    ",
	"  000 00            00000 000   ",
	"  0    0          0000      00  ",
	" 00    00       000      00  0  ",
	" 00    0      000       00   00 ",
	" 00  000    000        00    00 ",
	"  0        00          00    0  ",
	"  00     00             0   00  ",
	"   0000000              00000   ",
	"                          00    ",
	"                                "};

static char **convert_to_xpm[3] = { convert_to_x16, convert_to_x24, convert_to_x32 };