static char *text_x16[] = {
	"16 16 2 1",
	" 	c	None",
	"0	c	#000000",
	"                ",
	"      0000      ",
	"     000000     ",
	"     000000     ",
	"     0000000    ",
	"    00000000    ",
	"    000  000    ",
	"   0000  0000   ",
	"   0000  0000   ",
	"   0000  00000  ",
	"  000000000000  ",
	"  000000000000  ",
	" 0000      0000 ",
	" 0000      0000 ",
	"0000        0000",
	"0000        0000"};

static char *text_x24[] = {
	"24 24 2 1",
	" 	c	None",
	"0	c	#000000",
	"                        ",
	"         000000         ",
	"         000000         ",
	"        00000000        ",
	"        00000000        ",
	"       0000000000       ",
	"       0000000000       ",
	"       0000000000       ",
	"      00000  00000      ",
	"      00000  00000      ",
	"     000000  000000     ",
	"     00000    00000     ",
	"     00000    000000    ",
	"    00000      00000    ",
	"    0000000000000000    ",
	"   000000000000000000   ",
	"   000000000000000000   ",
	"   0000000000000000000  ",
	"  000000        000000  ",
	"  00000          00000  ",
	" 000000          000000 ",
	" 00000            00000 ",
	"000000            000000",
	"                        "};

static char *text_x32[] = {
	"32 32 2 1",
	" 	c	None",
	"0	c	#000000",
	"                                ",
	"            00000000            ",
	"            00000000            ",
	"           000000000            ",
	"           0000000000           ",
	"           0000000000           ",
	"          000000000000          ",
	"          000000000000          ",
	"         00000000000000         ",
	"         00000000000000         ",
	"         000000  000000         ",
	"        0000000  0000000        ",
	"        000000   0000000        ",
	"       0000000    0000000       ",
	"       0000000    0000000       ",
	"       000000     0000000       ",
	"      0000000      0000000      ",
	"      0000000      0000000      ",
	"     0000000        0000000     ",
	"     0000000000000000000000     ",
	"     00000000000000000000000    ",
	"    000000000000000000000000    ",
	"    000000000000000000000000    ",
	"   00000000000000000000000000   ",
	"   0000000            0000000   ",
	"  0000000             00000000  ",
	"  0000000              0000000  ",
	"  0000000              0000000  ",
	" 0000000                0000000 ",
	" 0000000                0000000 ",
	"00000000                00000000",
	"                                "};

static char **text_xpm[3] = { text_x16, text_x24, text_x32 };