static char *convert_from_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",
	" 363       363  ",
	"5060      10601 ",
	"36 1   6006   03",
	"30   101    1 63",
	" 10601      060 ",
	"  363   2   363 ",
	"        2       ",
	"        2       ",
	"      42224     ",
	"       424      ",
	"        4       ",
	"      00000     ",
	"      00        ",
	"      0000      ",
	"      00        ",
	"      00        "};

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

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

static char **convert_from_xpm[3] = { convert_from_x16, convert_from_x24, convert_from_x32 };